From 69fd3d79985f09b41edb59c83fdc7c9b0bdfe9dc Mon Sep 17 00:00:00 2001
From: mrdudz <mrdudz@users.noreply.github.com>
Date: Thu, 4 May 2023 22:21:36 +0200
Subject: [PATCH] tweak

---
 doc/doc.css | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/doc.css b/doc/doc.css
index 6bd538681..0f6e90d67 100644
--- a/doc/doc.css
+++ b/doc/doc.css
@@ -27,7 +27,7 @@ h1 {
 }
 
 h2 {
-    font-size:          160%;
+    font-size:          150%;
     text-shadow:        1px 1px 3px #303030;
     letter-spacing:     1px;
     margin-top:         2em;