From 714b4691e94f3e2c8cd96e35de23dd1eed01bed7 Mon Sep 17 00:00:00 2001 From: fen Date: Thu, 17 Sep 2026 18:44:01 -0500 Subject: [PATCH] #273: theme-aware scrollbars via scrollbar-width/scrollbar-color + webkit fallbacks --- internal/web/static/app.css | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) diff --git a/internal/web/static/app.css b/internal/web/static/app.css index e97c58c..16a77c1 100644 --- a/internal/web/static/app.css +++ b/internal/web/static/app.css @@ -921,3 +921,19 @@ button[type="submit"]:focus-visible, } .jumpnav.hidden { display: none; } .jump-btn { box-shadow: 0 4px 16px rgba(0, 0, 0, 0.25); } + +/* #273: theme-aware scrollbars. Standard properties first (Firefox, and + Chromium >= 121 honors scrollbar-color), then ::-webkit rules for finer + Chromium styling. Colors come from CSS vars so they track the preset. */ +* { + scrollbar-width: thin; + scrollbar-color: var(--border) transparent; +} +::-webkit-scrollbar { width: 10px; height: 10px; } +::-webkit-scrollbar-track { background: transparent; } +::-webkit-scrollbar-thumb { + background: var(--border); + border-radius: 5px; +} +::-webkit-scrollbar-thumb:hover { background: var(--muted-fg); } +::-webkit-scrollbar-corner { background: transparent; }