From ffcd91381f9d06c8c468cb06ce1793fe146d1e80 Mon Sep 17 00:00:00 2001 From: Paul Buetow Date: Thu, 30 Apr 2026 09:36:36 +0300 Subject: Update default HTML theme spacing --- extras/html/themes/default/style.css | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/extras/html/themes/default/style.css b/extras/html/themes/default/style.css index 8814f48..0f0f07b 100644 --- a/extras/html/themes/default/style.css +++ b/extras/html/themes/default/style.css @@ -42,7 +42,7 @@ p.header { color: #e0e0e0; font-family: code, monospace; font-size: 0.9rem; - margin: 0 -52px; + margin: 0 -52px 1.5rem -52px; padding: 0.7rem 52px; border-radius: 20px 20px 0 0; } @@ -60,8 +60,8 @@ h1 { font-family: heading, serif; color: #2e1065; margin-top: 0.2em; - margin-bottom: 0.5em; - padding-bottom: 0.3em; + margin-bottom: 0.2em; + padding-bottom: 0.15em; border-bottom: 2px solid #e0e4f0; } @@ -69,7 +69,7 @@ h2, h3 { font-family: heading, serif; color: #3730a3; margin-top: 1.5em; - margin-bottom: 0.4em; + margin-bottom: 0.15em; } a { -- cgit v1.2.3