From fdbaa93a4efc55b3deb01d6912d316747744dd3c Mon Sep 17 00:00:00 2001
From: shortcuts <vannicattec@gmail.com>
Date: Tue, 27 Jun 2023 22:45:09 +0200
Subject: [PATCH 1/2] fix(css): override default bootstrap style for DocSearch

---
 css/main.css | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/css/main.css b/css/main.css
index f0a248c..6045c86 100644
--- a/css/main.css
+++ b/css/main.css
@@ -560,3 +560,11 @@ iframe.poll {
  .news-section table {
     margin-top: 1rem;
  }
+
+/*
+ * DocSearch overrides
+ */
+
+ .DocSearch mark {
+     padding: 0;
+ }

From 309cb43619bfc9774e6d9b073c44cde3bb2ebedc Mon Sep 17 00:00:00 2001
From: "Justin M. Keyes" <justinkz@gmail.com>
Date: Wed, 28 Jun 2023 05:49:34 -0700
Subject: [PATCH 2/2] Update css/main.css

---
 css/main.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/css/main.css b/css/main.css
index 6045c86..b77860e 100644
--- a/css/main.css
+++ b/css/main.css
@@ -566,5 +566,5 @@ iframe.poll {
  */
 
  .DocSearch mark {
-     padding: 0;
+   padding: 0;
  }