diff --git a/sphinx/static/sphinxdoc.css b/sphinx/static/sphinxdoc.css index 82e27d5d2..ffce91a5e 100644 --- a/sphinx/static/sphinxdoc.css +++ b/sphinx/static/sphinxdoc.css @@ -475,3 +475,29 @@ span.linkdescr { padding-top: 5px; font-size: 90%; } + +ul.search { + margin: 10px 0 0 20px; + padding: 0; +} + +ul.search li { + padding: 5px 0 5px 20px; + background-image: url(file.png); + background-repeat: no-repeat; + background-position: 0 7px; +} + +ul.search li a { + font-weight: bold; +} + +ul.search li div.context { + color: #888; + margin: 2px 0 0 30px; + text-align: left; +} + +ul.keywordmatches li.goodmatch a { + font-weight: bold; +}