update search style

scidsg · Oct 1, 2023 · e047915 · e047915
1 parent 6addf59
commit e047915
Show file tree

Hide file tree

Showing 2 changed files with 54 additions and 2 deletions.
diff --git a/book/theme/custom.css b/book/theme/custom.css
@@ -94,6 +94,7 @@ p {
 .searchbar-outer,
 .searchresults-outer {
 	margin-left: 10rem;
+	padding-left: .25rem;
 }
 
 .searchbar-outer {
@@ -112,6 +113,31 @@ p {
 	box-shadow: 0px .5rem 1rem -.25rem rgba(0,0,0,0.15);
 }
 
+.searchresults-header {
+	padding-left: 0;
+	padding-top: 3rem;
+	font-size: .75em;
+	color: #444;
+}
+
+ul#searchresults span.teaser em {
+	font-weight: normal;
+	font-family: 'Sans Bold', sans-serif;
+}
+
+ul#searchresults {
+	padding-left: 0;
+}
+
+ul#searchresults span.teaser {
+	margin-left: 0;
+	font-size: .825em;
+}
+
+ul#searchresults li {
+	margin-bottom: 2rem;
+}
+
 #menu-bar-hover-placeholder {
 	height: 0;
 }
@@ -168,7 +194,7 @@ strong {
 
 	.searchbar-outer,
 	.searchresults-outer {
-		margin-left: auto;
+		margin-left: 0;
 	}
 
 	.page {

diff --git a/theme/custom.css b/theme/custom.css
@@ -94,6 +94,7 @@ p {
 .searchbar-outer,
 .searchresults-outer {
 	margin-left: 10rem;
+	padding-left: .25rem;
 }
 
 .searchbar-outer {
@@ -112,6 +113,31 @@ p {
 	box-shadow: 0px .5rem 1rem -.25rem rgba(0,0,0,0.15);
 }
 
+.searchresults-header {
+	padding-left: 0;
+	padding-top: 3rem;
+	font-size: .75em;
+	color: #444;
+}
+
+ul#searchresults span.teaser em {
+	font-weight: normal;
+	font-family: 'Sans Bold', sans-serif;
+}
+
+ul#searchresults {
+	padding-left: 0;
+}
+
+ul#searchresults span.teaser {
+	margin-left: 0;
+	font-size: .825em;
+}
+
+ul#searchresults li {
+	margin-bottom: 2rem;
+}
+
 #menu-bar-hover-placeholder {
 	height: 0;
 }
@@ -168,7 +194,7 @@ strong {
 
 	.searchbar-outer,
 	.searchresults-outer {
-		margin-left: auto;
+		margin-left: 0;
 	}
 
 	.page {