Merge "Highlight the current page in the left menu"

This commit is contained in:
Zuul authored and Gerrit Code Review committed 2026-04-13 05:13:28 +00:00
commit 2a09d4b5ca
1 file changed
+4
@@ -971,3 +971,7 @@ p.rubric {
margin-top: 30px;
font-weight: bold;
}
/* highlight the current page in the left menu */
.current.reference.internal {
font-weight: bold; }