/* ======================================================================
   TERMINAL LOADER (riusato dal tema precedente, ricolorato indigo)
   ====================================================================== */
.terminal-body .tk-comment {
  color: #5b5d6b;
}