From 53e66cb42b69df12f1af0b4cebe19b2c12e35c04 Mon Sep 17 00:00:00 2001 From: Reza Rezvani Date: Wed, 11 Mar 2026 14:36:06 +0100 Subject: [PATCH] style(docs): reduce font sizes for tighter layout MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Sidebar nav: 0.78rem → 0.74rem, section labels: 0.72rem → 0.68rem, body text: 0.82rem → 0.78rem. Co-Authored-By: Claude Opus 4.6 --- docs/stylesheets/extra.css | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/stylesheets/extra.css b/docs/stylesheets/extra.css index 9462691..735b9ab 100644 --- a/docs/stylesheets/extra.css +++ b/docs/stylesheets/extra.css @@ -139,7 +139,7 @@ D. Sidebar Navigation =========================================== */ .md-nav { - font-size: 0.78rem; + font-size: 0.74rem; line-height: 1.5; } @@ -169,7 +169,7 @@ /* Section labels in sidebar */ .md-nav__item--nested > .md-nav__link { font-weight: 600; - font-size: 0.72rem; + font-size: 0.68rem; letter-spacing: 0.03em; opacity: 0.8; } @@ -395,7 +395,7 @@ K. Typography =========================================== */ .md-typeset { - font-size: 0.82rem; + font-size: 0.78rem; line-height: 1.7; }