/* Scroll bar of the open list of a drop-down (see select.input in src/index.css): the app's own thin one (same colors as
   the page's, see src/index.css), with no arrows at the ends. Kept out of src/: the CSS build drops a ::-webkit-scrollbar
   chained after ::picker(select). */
@supports (appearance: base-select) {
  select::picker(select)::-webkit-scrollbar { width: 10px; height: 10px; }
  select::picker(select)::-webkit-scrollbar-track { background: transparent; margin-block: 10px; } /* the bar stays clear of the rounded corners */
  select::picker(select)::-webkit-scrollbar-button { display: none; }
  select::picker(select)::-webkit-scrollbar-thumb { background: var(--color-slate-300); border: 2px solid transparent; border-radius: 999px; background-clip: padding-box; }
  select::picker(select)::-webkit-scrollbar-thumb:hover { background-color: var(--color-slate-400); }
  :root.dark select::picker(select)::-webkit-scrollbar-thumb { background-color: var(--color-slate-700); }
  :root.dark select::picker(select)::-webkit-scrollbar-thumb:hover { background-color: var(--color-slate-600); }
}