highlight is now highlighted (closes #23909)

diff --git a/Doc/tools/static/basic.css b/Doc/tools/static/basic.css
index 21c3db204d8bd226280b343af71073677ba901d6..85a43185aab67b727f153375155e9899a16cd697 100644 (file)
--- 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;
 }