More formatting tweaks

cch5ng · Nov 4, 2024 · 00022ee · 00022ee
1 parent b32d870
commit 00022ee
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/help/_includes/search.html b/help/_includes/search.html
@@ -34,6 +34,7 @@
     border-radius: 6px;
     width: 100%;
     box-sizing: border-box;
+    margin-bottom: 20px;
   }
 
   /* Modal background */

diff --git a/help/_layouts/default.html b/help/_layouts/default.html
@@ -89,7 +89,9 @@
         }
 
         .js-toc > ul > li > a {
-            display: none;
+            font-weight: bold;
+            font-size: 18px;
+
         }
 
         .js-toc > ul > li > ul > li {