From 2f9cffa891aafb1d7a2277885228544fb28a0889 Mon Sep 17 00:00:00 2001 From: Timmy Keller Date: Sun, 1 Sep 2024 18:55:12 -0500 Subject: make some extremely minor changes and fix the sticky header on mobile browsers --- static/stylesheets/style.css | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'static/stylesheets/style.css') diff --git a/static/stylesheets/style.css b/static/stylesheets/style.css index 0006ba3..2ab67d4 100644 --- a/static/stylesheets/style.css +++ b/static/stylesheets/style.css @@ -5,6 +5,7 @@ body { margin: 0 0 1.5em 0; color: white; font-family: serif; + text-underline-offset: 2.25px; } header { @@ -16,6 +17,7 @@ header { user-select: none; position: sticky; top: 0; + overflow: clip; } #title { @@ -112,7 +114,7 @@ ol, ul, pre code { } .alpha-ol ol { - list-style-type: upper-alpha; + list-style-type: lower-alpha; } img, figcaption { -- cgit v1.2.3