highlight is now highlighted (closes #23909)
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 @@
     margin-left: 30px;
 }
 
-dt:target, .highlight {
+dt:target, .highlighted {
     background-color: #fbe54e;
 }