diff options
| author | Georg Brandl <georg@python.org> | 2010-02-28 22:05:19 +0100 |
|---|---|---|
| committer | Georg Brandl <georg@python.org> | 2010-02-28 22:05:19 +0100 |
| commit | 70c9b5d464d3342b91a51dd825a5bc68c8f148b3 (patch) | |
| tree | 74aec69f494d02be265f2a40bf56f206a7f29d2d /sphinx/themes/basic/static/basic.css | |
| parent | 9c43b32493858e2cbc6aae716c66119b2e851774 (diff) | |
| download | sphinx-70c9b5d464d3342b91a51dd825a5bc68c8f148b3.tar.gz | |
s/highlight/highlighted/ for the search word highlighting class: "highlight" is already used by pygments.
Diffstat (limited to 'sphinx/themes/basic/static/basic.css')
| -rw-r--r-- | sphinx/themes/basic/static/basic.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sphinx/themes/basic/static/basic.css b/sphinx/themes/basic/static/basic.css index 465b526e..7cfacd5b 100644 --- a/sphinx/themes/basic/static/basic.css +++ b/sphinx/themes/basic/static/basic.css @@ -316,7 +316,7 @@ dd { margin-left: 30px; } -dt:target, .highlight { +dt:target, .highlighted { background-color: #fbe54e; } |