From 15f27b0039b8182fb355242ac6727430393c488f Mon Sep 17 00:00:00 2001 From: Build Bot Date: Sun, 20 Nov 2022 13:12:21 +0000 Subject: [PATCH] Automatic css build --- styles.css | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/styles.css b/styles.css index 9da5c38..8bc6519 100755 --- a/styles.css +++ b/styles.css @@ -3247,7 +3247,7 @@ article { border: 1px solid #ddd; border-left: 3px solid #25acff; background: #f4f4f4; - line-height: 1rem; + line-height: 1.2rem; font-size: .8rem; } article pre code { background: none; @@ -4461,6 +4461,9 @@ body > nav { color: #252525; background: var(--nav-content-hover); } +#nav-trigger { + display: none; } + @media only screen and (max-width: 800px) { #nav-trigger:not(:checked) + nav { width: 0%; }