From af80ce3f82a31fcfe20a2a98721c8aef70e651f0 Mon Sep 17 00:00:00 2001 From: Benjamin Peterson Date: Fri, 10 Apr 2015 18:40:21 -0400 Subject: highlight is now highlighted (closes #23909) --- Doc/tools/static/basic.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Doc/tools/static/basic.css b/Doc/tools/static/basic.css index 21c3db2..85a4318 100644 --- 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; } -- cgit v0.12