diff --git a/doc/pages/docinfo.html b/doc/pages/docinfo.html
index ed1342a1..ac65c5f0 100644
--- a/doc/pages/docinfo.html
+++ b/doc/pages/docinfo.html
@@ -9,10 +9,14 @@
     padding-left: var(--main-margin);
     padding-right: var(--main-margin);
 }
+.nav-links .nav-links-content {
+    max-width: var(--main-content-width);
+    margin: 0 auto;
+}
 .nav-links .nav-links-content,
 .edit-link .edit-link-content {
     max-width: var(--main-content-width);
-    margin: 0 auto;
+    margin: 0;
 }
 .nav-links nav {
     padding: 1rem 0 0;
@@ -99,4 +103,6 @@ span.good { color: var(--colors-positive-500); }
 span.silver { color: var(--colors-neutral-500); }
 
 .boostlook pre.highlight .conum { display: none; }
+
+.listingblock .highlight b { font-variation-settings: normal; }
 </style>