/* Only the page gutter changes; scrolling remains the browser's native behavior. */
html{--page-scroll-thumb:#aaa;scrollbar-width:none}
html[data-theme=dark]{--page-scroll-thumb:#777}
html::-webkit-scrollbar{width:0;height:0}
html.scrollbar-desktop{scrollbar-width:thin;scrollbar-color:transparent transparent;scrollbar-gutter:stable}
html.scrollbar-desktop.scrollbar-visible{scrollbar-color:var(--page-scroll-thumb) transparent}
@supports selector(::-webkit-scrollbar){
  html.scrollbar-desktop,html.scrollbar-desktop.scrollbar-visible{scrollbar-width:auto;scrollbar-color:auto}
  html.scrollbar-desktop::-webkit-scrollbar{width:4px;height:4px}
  html::-webkit-scrollbar-track,html::-webkit-scrollbar-corner{background:transparent}
  html.scrollbar-desktop::-webkit-scrollbar-thumb{background:transparent;border:0;border-radius:8px}
  html.scrollbar-desktop.scrollbar-visible::-webkit-scrollbar-thumb{background:var(--page-scroll-thumb)}
  html::-webkit-scrollbar-button{display:none;width:0;height:0}
}
@media(prefers-reduced-motion:reduce){html::-webkit-scrollbar-thumb{transition:none!important}}