diff --git a/css/main.css b/css/main.css index f0a248c..b77860e 100644 --- a/css/main.css +++ b/css/main.css @@ -560,3 +560,11 @@ iframe.poll { .news-section table { margin-top: 1rem; } + +/* + * DocSearch overrides + */ + + .DocSearch mark { + padding: 0; + }