From 5a3e8872283eb758816b1547a98f52a251e4d31e Mon Sep 17 00:00:00 2001 From: johannst Date: Thu, 20 Feb 2025 19:41:10 +0000 Subject: deploy: 496a4126f52649ea954ce6be2cdfeb1d7a02c372 --- css/chrome.css | 7 +++++-- css/general.css | 6 ++++-- css/variables.css | 2 +- 3 files changed, 10 insertions(+), 5 deletions(-) (limited to 'css') diff --git a/css/chrome.css b/css/chrome.css index 4cd7308..7a95c24 100644 --- a/css/chrome.css +++ b/css/chrome.css @@ -421,11 +421,14 @@ ul#searchresults span.teaser em { color: var(--sidebar-fg); } .sidebar-iframe-inner { + --padding: 10px; + background-color: var(--sidebar-bg); - color: var(--sidebar-fg); - padding: 10px 10px; + padding: var(--padding); margin: 0; font-size: 1.4rem; + color: var(--sidebar-fg); + min-height: calc(100vh - var(--padding) * 2); } .sidebar-iframe-outer { border: none; diff --git a/css/general.css b/css/general.css index 0862b51..49e7267 100644 --- a/css/general.css +++ b/css/general.css @@ -200,10 +200,12 @@ sup { line-height: 0; } -:not(.footnote-definition) + .footnote-definition, -.footnote-definition + :not(.footnote-definition) { +:not(.footnote-definition) + .footnote-definition { margin-block-start: 2em; } +.footnote-definition:not(:has(+ .footnote-definition)) { + margin-block-end: 2em; +} .footnote-definition { font-size: 0.9em; margin: 0.5em 0; diff --git a/css/variables.css b/css/variables.css index 12d1db7..5797715 100644 --- a/css/variables.css +++ b/css/variables.css @@ -9,7 +9,7 @@ --content-max-width: 750px; --menu-bar-height: 50px; --mono-font: "Source Code Pro", Consolas, "Ubuntu Mono", Menlo, "DejaVu Sans Mono", monospace, monospace; - --code-font-size: 0.875em /* please adjust the ace font size accordingly in editor.js */ + --code-font-size: 0.875em; /* please adjust the ace font size accordingly in editor.js */ } /* Themes */ -- cgit v1.2.3