From b688a222eedcdc2a3913e8ec37463b66b7b6ada1 Mon Sep 17 00:00:00 2001 From: Michael Drake Date: Tue, 7 Apr 2020 21:21:18 +0100 Subject: Internal stylesheet: Update heading styles. --- resources/internal.css | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) (limited to 'resources') diff --git a/resources/internal.css b/resources/internal.css index 961f1d8c2..437902d9c 100644 --- a/resources/internal.css +++ b/resources/internal.css @@ -37,7 +37,11 @@ a:active { h1 { font-size: 200%; - font-weight: bold; } + font-weight: bold; + padding: 5mm; + margin: 0; + border-bottom-width: 2px; + border-bottom-style: solid; } h2 { font-size: 160%; @@ -45,6 +49,10 @@ h2 { border-top-width: 1px; border-top-style: solid; } +h1+h2 { + border-top: none; +} + h3 { font-size: 140%; font-weight: bold; } -- cgit v1.2.3