diff options
2 files changed, 6 insertions, 4 deletions
| -rw-r--r-- | awk-edits/Heading-anchors.awk | 8 | ||||
| -rw-r--r-- | src/styles.css | 2 |
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]*<h[23456]/ { - match($0, /<h./) - headerLevel = (substr($0, RSTART + 2, 1) == 2) ? "" : "-small" + if (match($0, /<h2 id="contents"/) == 0) { + match($0, /<h./) + gap = "<div class=\"gap" ((substr($0, RSTART + 2, 1) == 2) ? "" : "-small") "\"></div>" ORS + } match($0, /id="[^"]*"/) - $0 = "<div class=\"gap" headerLevel "\"></div>" ORS $0 ORS "<a class=\"h-anchor\" href=\"#" substr($0, RSTART + 4, RLENGTH - 5) "\" aria-hidden=\"true\">§</a>" + $0 = gap $0 ORS "<a class=\"h-anchor\" href=\"#" substr($0, RSTART + 4, RLENGTH - 5) "\" aria-hidden=\"true\">§</a>" } 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%); |