[IDEA] Make the little scrollbars visible

[Tim Curtis]

There is also this bit of CSS in media.css

Code:

/* Use custom scroll bars for devices with an attached pointing device (mouse, trackpad, etc) */
@media (any-pointer: fine) {
    .custom-scrollbars ::-webkit-scrollbar {
        width: 11px;
  }
  .custom-scrollbars ::-webkit-scrollbar-track:hover {
        -webkit-box-shadow: inset 0 0 2px rgba(0,0,0,0.3);
        border-radius: 6px;
  }
  .custom-scrollbars ::-webkit-scrollbar-thumb {
        border-radius: 6px;
        background-color: var(--btnshade2);
        border:2px solid rgba(0,0,0,0);
        background-clip: padding-box;
        min-height:1.5em;
  }
  .custom-scrollbars ::-webkit-scrollbar-thumb:active {
       background-color:var(--textvariant);
  }
  /* Firefox */
  .custom-scrollbars * {
       scrollbar-width: thin;
       scrollbar-color: auto;
  }
}