summaryrefslogtreecommitdiff
path: root/doc/source/theme/static
diff options
context:
space:
mode:
Diffstat (limited to 'doc/source/theme/static')
-rw-r--r--doc/source/theme/static/basic.css4
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;