From 67204fbb958a8b3c8a9affb00bfd29c02e71991e Mon Sep 17 00:00:00 2001 From: Juicysteak117 <20595808+Juicysteak117@users.noreply.github.com> Date: Sat, 25 Oct 2025 23:29:51 -0700 Subject: [PATCH] correcting target values for mobile --- export/pghrtcss.css | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/export/pghrtcss.css b/export/pghrtcss.css index 2b5eb3f..64b14dc 100644 --- a/export/pghrtcss.css +++ b/export/pghrtcss.css @@ -92,8 +92,8 @@ body { :target::before { display: block; content: ""; - margin-top: -5vh; - height: 5vh; + margin-top: -2vh; + height: 2vh; visibility: hidden; pointer-events: none; } @@ -262,6 +262,7 @@ ol[class="ltx_toclist ltx_toclist_section"]{ #theme-toggle { top: 5vh; border-top: none;} #font-toggle {top: calc(2 * var(--mobile-button)); } .ltx_tocentry.ltx_tocentry_section > .ltx_ref:after { margin-right: 20px; } + :target::before { margin-top: -5vh; height: 5vh; } }