From c575f85e40dfc32cf2ffcc2f4196596ed2a674ed Mon Sep 17 00:00:00 2001
From: Dmitry Arkhipov <grisumbras@yandex.ru>
Date: Mon, 5 Jan 2026 13:28:42 +0300
Subject: [PATCH] fix documentation styling

---
 doc/pages/docinfo.html | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

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>