diff options
Diffstat (limited to 'doc/source/theme/static')
| -rw-r--r-- | doc/source/theme/static/basic.css | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/source/theme/static/basic.css b/doc/source/theme/static/basic.css index 5708b4da..f572584e 100644 --- a/doc/source/theme/static/basic.css +++ b/doc/source/theme/static/basic.css @@ -308,6 +308,10 @@ dt:target, .highlight { background-color: #fbe54e; } +.highlighted { + background-color: #fbe54e; +} + dl.glossary dt { font-weight: bold; font-size: 1.1em; |