1.0.2

2026-05-21 03:15:24 +00:00 · 2018-02-05 23:04:00 -05:00
parent 4a1e522710
commit 4e9bd0b35f
6 changed files with 59 additions and 31 deletions
@@ -445,10 +445,14 @@ dd {
    margin-left: 30px;
 }

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

+rect.highlighted {
+    fill: #fbe54e;
+}
+
 dl.glossary dt {
    font-weight: bold;
    font-size: 1.1em;