From 9addf6e2226b1334940ff5f4c6d3fd90cde667c6 Mon Sep 17 00:00:00 2001 From: Lanius Trolling Date: Thu, 10 Nov 2022 15:34:59 -0500 Subject: [PATCH] Navbars now stay onscreen even when user scrolls down --- src/main/resources/static/style.css | 20 +++++++++++++++++++- 1 file changed, 19 insertions(+), 1 deletion(-) diff --git a/src/main/resources/static/style.css b/src/main/resources/static/style.css index 4755af0..a2f787f 100644 --- a/src/main/resources/static/style.css +++ b/src/main/resources/static/style.css @@ -259,6 +259,10 @@ html[data-theme="dark"] { } } +body { + margin: 0; +} + ::selection { background-color: var(--selection-bg); color: var(--selection-fg); @@ -364,7 +368,6 @@ aside.mobile img { border-image-source: var(--panel); border-image-slice: 40% fill; border-image-width: 2em; - border-width: 2em; box-sizing: border-box; padding: 2.5em 3em; @@ -402,12 +405,27 @@ aside.mobile img { width: 16%; float: left; margin: 4vh 4vw; + + position: sticky; + top: calc(4vh + 1.25rem); } aside.desktop { width: 16%; float: right; margin: 4vh 4vw; + + position: sticky; + top: calc(4vh + 1.25rem); + } + + aside.desktop { + max-height: calc(92vh - 2.5rem); + } + + aside.desktop div.list { + max-height: calc(92vh - 7.5rem); + overflow-y: auto; } h4 { -- 2.25.1