/* Applicata via JS solo quando il file mostrato ha molte righe (es. la query):
   riduce font e interlinea così il contenuto entra meglio senza scroll eccessivo */
.code-float-panel .tk-keyword {
  color: #c4b5fd;
}