diff options
Diffstat (limited to 'extras/html')
| -rw-r--r-- | extras/html/themes/default/style.css | 8 |
1 files 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 { |