From fe16bd78cf71681f42762c3546c6efcd782fc026 Mon Sep 17 00:00:00 2001 From: mathieui Date: Wed, 10 Apr 2013 20:04:29 +0200 Subject: Add keys --- doc/source/theme/static/basic.css | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'doc/source/theme/static') 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; -- cgit v1.2.3