highlight is now highlighted (closes #23909)

af80ce3f · Benjamin Peterson · 4507b818 · af80ce3f
Commit af80ce3f authored Apr 10, 2015 by Benjamin Peterson
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

Doc/tools/static/basic.css Doc/tools/static/basic.css +1 -1

No files found.
--- a/Doc/tools/static/basic.css
+++ b/Doc/tools/static/basic.css
@@ -306,7 +306,7 @@ dd {
    margin-left: 30px;
 }

-dt:target, .highlight {
+dt:target, .highlighted {
    background-color: #fbe54e;
 }