/* ======================================================================
   TERMINAL LOADER (riusato dal tema precedente, ricolorato indigo)
   ====================================================================== */
.terminal-dot.red {
  background: #ff5f56;
}