/* 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-bool {
  color: #fca5a5;
}