diff options
Diffstat (limited to 'docs/static/stylesheets/search.css')
| -rw-r--r-- | docs/static/stylesheets/search.css | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/docs/static/stylesheets/search.css b/docs/static/stylesheets/search.css new file mode 100644 index 00000000..ad9ef77c --- /dev/null +++ b/docs/static/stylesheets/search.css @@ -0,0 +1,22 @@ +#search-results cite a { + text-decoration: none; + border-bottom: 0px solid; + color: rgb(120, 133, 145); + font-style: normal; + font-size: 85%; +} + +#search-results h3 a { + text-decoration: none; + border-bottom: 0px solid; +} + +#search-results .search-result { + /* background-color: rgba(120, 133, 145, 0.1); */ + color: rgb(72, 66, 60); +} + +mark{ + background: rgb(255, 207, 155); + color: black; +} |