From e047915f3dd69e753da0781dbd017163146c2697 Mon Sep 17 00:00:00 2001 From: Glenn Sorrentino Date: Sun, 1 Oct 2023 13:15:29 -0700 Subject: [PATCH] update search style --- book/theme/custom.css | 28 +++++++++++++++++++++++++++- theme/custom.css | 28 +++++++++++++++++++++++++++- 2 files changed, 54 insertions(+), 2 deletions(-) diff --git a/book/theme/custom.css b/book/theme/custom.css index d871a8b..c45d448 100644 --- 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 index d871a8b..c45d448 100644 --- 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 {