From 625c998619eeb8d95a4693bd9eb947a16e7367ba Mon Sep 17 00:00:00 2001 From: Syndamia Date: Fri, 17 Nov 2023 15:39:47 +0200 Subject: [styles,Heading-anchors] Removed gap above contents --- awk-edits/Heading-anchors.awk | 8 +++++--- src/styles.css | 2 +- 2 files changed, 6 insertions(+), 4 deletions(-) diff --git a/awk-edits/Heading-anchors.awk b/awk-edits/Heading-anchors.awk index ee69043..10f4aa9 100644 --- a/awk-edits/Heading-anchors.awk +++ b/awk-edits/Heading-anchors.awk @@ -7,8 +7,10 @@ # hyperlink is required (except for h1). /[ \t]*" ORS + } match($0, /id="[^"]*"/) - $0 = "
" ORS $0 ORS "§" + $0 = gap $0 ORS "§" } diff --git a/src/styles.css b/src/styles.css index 6d22681..c12deda 100644 --- a/src/styles.css +++ b/src/styles.css @@ -401,7 +401,7 @@ dt, dd { margin-left: auto; margin-right: auto; } - #contents-container { float: right; margin-left: 2.5em; } + #contents-container { float: right; margin-left: 2.5em; background-color: var(--bg-color); padding-right: 0.5em; } #contents-container > h2 { margin-top: -1rem; } #pagenav { filter: opacity(64%); -- cgit v1.3.1-23-gd82d