Merge pull request '#273 : theme-aware scrollbars' (#275 ) from fix-273 into dev

#273 : theme-aware scrollbars via scrollbar-width/scrollbar-color + webkit fallbacks
2026-09-17 23:45:41 +00:00 · 2026-09-17 18:44:01 -05:00
1 changed files with 16 additions and 0 deletions
@@ -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; }
Author	SHA1	Message	Date
fen	ad397b80d0	Merge pull request '#273 : theme-aware scrollbars' (#275 ) from fix-273 into dev CI / test (push) Successful in 24s Details CI / docker (push) Successful in 36s Details	2026-09-17 23:45:41 +00:00
fen	714b4691e9	#273 : theme-aware scrollbars via scrollbar-width/scrollbar-color + webkit fallbacks CI / test (pull_request) Successful in 24s Details CI / docker (pull_request) Skipped Details	2026-09-17 18:44:01 -05:00