/* 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-comment {
  color: #5b5d6b;
  font-style: italic;
}