From e7b2cbee02e696bf40aeb9556733d570627e03b8 Mon Sep 17 00:00:00 2001 From: urosm Date: Sun, 9 Jun 2024 11:57:37 +0200 Subject: [PATCH] update `public_html` static files --- public_html/css/style.css | 18 ++++++++++++++++-- 1 file changed, 16 insertions(+), 2 deletions(-) diff --git a/public_html/css/style.css b/public_html/css/style.css index 284bb95..fda4bd7 100644 --- a/public_html/css/style.css +++ b/public_html/css/style.css @@ -1,6 +1,6 @@ /* variables */ :root { - --font-size: 10pt; + --font-size: 9pt; --line-height: 1.25; --font-family: monospace; @@ -140,6 +140,10 @@ dd::before { color: var(--blue); } +dd :is(blockquote, div, dl, figure, hr, menu, ol, p, pre, ul) { + margin-block: unset; +} + figcaption { position: relative; margin-inline-start: 1ch; @@ -165,7 +169,7 @@ ul, menu { } li::marker { - color: var(--orange); + color: var(--blue); } ol>li::marker { @@ -321,3 +325,13 @@ div.horizontal>* { display: block; text-align: center; } + +a.footnote-ref, +a.footnote-back { + color: var(--orange); +} + +a.footnote-ref>sup { + font-size: unset; + vertical-align: unset; +}