fixup font sizes in search results

the1lab · Dec 9, 2023 · c188e2a · c188e2a
1 parent 21e84b7
commit c188e2a
Showing 1 changed file with 10 additions and 7 deletions.
diff --git a/support/web/css/components/search.scss b/support/web/css/components/search.scss
@@ -3,7 +3,7 @@
   text-align: left;
 
   font-family: var(--sans-serif);
-  --font-size: 1.3rem;
+  --font-size: 18px;
 }
 
 #search-results {
@@ -45,7 +45,8 @@ input#search-box {
 }
 
 a.search-result {
-  padding: 0.25em 0.75em 0.25em 0.75em;
+  padding: 0.1em 0.75em 0.1em 0.75em;
+  margin: 0.3em 0;
   display: block;
   text-decoration: none;
 
@@ -66,8 +67,7 @@ a.search-result {
 
   h3 {
     margin: 0;
-    font-weight: normal;
-    font-size: 15px;
+    font-size: 0.85em;
     font-weight: bold;
 
     span.search-module {
@@ -76,6 +76,9 @@ a.search-result {
 
     &.search-identifier {
       @include monospaced;
+      // our mono font is bulkier than our sans font so it needs a
+      // smaller size to look comparable
+      font-size: 0.75em;
       margin-bottom: 5px;
     }
   }
@@ -104,7 +107,7 @@ a.search-result {
     }
   }
 
-  & .search-type { font-size: 0.5em; }
+  & .search-type { font-size: 0.55em; }
   & .search-desc { font-size: 0.75em; }
 
   & .search-match {
@@ -113,8 +116,8 @@ a.search-result {
 }
 
 li.search-header {
-  font-size: 15px;
-  padding: 0em 0.75em 0em 0.75em;
+  font-size: 0.8em;
+  padding: 0.3em 0.75em 0.3em 0.75em;
 }
 
 .search-error {