From 68f0d3ff12520045c144e28417ff347f89fb721a Mon Sep 17 00:00:00 2001
From: Benjamin Franzke <benjaminfranzke@googlemail.com>
Date: Tue, 17 May 2022 15:57:14 +0200
Subject: [PATCH] docs: add reasonable difference between h2 and h3 font-size

---
 docs/style.css | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/docs/style.css b/docs/style.css
index 981cdc1b536..43bc86003a0 100644
--- a/docs/style.css
+++ b/docs/style.css
@@ -51,7 +51,10 @@ h1 {
 }
 h2 {
   margin-top: 3rem;
-  font-size: 1.2rem;
+  font-size: 1.25rem;
+}
+h3 {
+  font-size: 1.15rem;
 }
 a {
   font-weight: 600;
-- 
2.47.3