/* public/scrollbars.css — La barra de scroll, en todas las páginas.
 *
 * Se carga LA ÚLTIMA en cada vista. Antes cada hoja pintaba la suya (o
 * ninguna, y salía la del sistema operativo), así que el panel de servidor y
 * el general tenían scroll distinto. Aquí hay uno solo.
 *
 * Quien quiera otra cosa la define con un selector de clase, que gana a estos.
 */

:root {
  --sb-pulgar: rgba(244, 236, 224, .16);
  --sb-pulgar-encima: rgba(239, 132, 32, .55);
  --sb-pulgar-pulsado: rgba(239, 132, 32, .78);
}

/* Firefox */
* {
  scrollbar-width: thin;
  scrollbar-color: var(--sb-pulgar) transparent;
}

/* Chromium y WebKit */
*::-webkit-scrollbar {
  width: 10px;
  height: 10px;
}

/* Carril transparente: si se pinta, cada tarjeta con scroll se lleva una
   franja gris pegada al borde. */
*::-webkit-scrollbar-track,
*::-webkit-scrollbar-corner {
  background: transparent;
}

/* El borde transparente con background-clip deja el pulgar "flotando" dentro
   del carril en vez de pegado a los bordes. */
*::-webkit-scrollbar-thumb {
  background-color: var(--sb-pulgar);
  background-clip: content-box;
  border: 3px solid transparent;
  border-radius: 999px;
}

*::-webkit-scrollbar-thumb:hover {
  background-color: var(--sb-pulgar-encima);
  border-width: 2px;
}

*::-webkit-scrollbar-thumb:active {
  background-color: var(--sb-pulgar-pulsado);
  border-width: 2px;
}

/* Los botones de flecha de Windows: fuera. */
*::-webkit-scrollbar-button {
  display: none;
  width: 0;
  height: 0;
}