Rationalize spacing and boldness of search results
authorNick Downing <nick@ndcode.org>
Fri, 11 Feb 2022 06:18:23 +0000 (17:18 +1100)
committerNick Downing <nick@ndcode.org>
Sat, 12 Feb 2022 01:56:15 +0000 (12:56 +1100)
css/bootstrap/_custom.scss
css/bootstrap/_reboot.scss
search/index.html.jst

index 74d643f..9769214 100644 (file)
@@ -202,10 +202,6 @@ $icon-sizes: (
   position: static;
 }
 
-.search-results li {
-  margin-bottom: .5em;
-}
-
 .page-header {
   background-color: theme-color-level("primary", $alert-bg-level);
 }
index 5339e13..d93a6c5 100644 (file)
@@ -155,7 +155,7 @@ blockquote {
 
 b,
 strong {
-  font-weight: $font-weight-bolder; // Add the correct font weight in Chrome, Edge, and Safari
+  font-weight: $font-weight-bold/*er*/; // Add the correct font weight in Chrome, Edge, and Safari
 }
 
 small {
index f3c5cc2..a890c60 100644 (file)
@@ -53,10 +53,10 @@ return async env => {
         ol(start=first + 1) {
           for (let i = 0; i < search.results.length; ++i) {
             let page = search.results[i].auxiliary
-            li {
+            li.mb-3 {
               a(href=page) {`${await breadcrumbs_str(page)}`}
               br {}
-              p {_out.push(search.results[i].summary)} // note: contains HTML
+              _out.push(search.results[i].summary) // note: contains HTML
             }
           }
         }