/* docs/css/extra.css */

/* Styles principaux pour le conteneur et le texte */
.ps-root {
  font-family: "Courier New", monospace;
  font-size: 0.9em;
  line-height: 1.5;
}

/* Styles pour les mots-clés */
.ps-keyword {
  font-weight: bold;
  color: #d73a49; /* Une belle teinte de rouge */
}

/* --- CORRECTION DE L'INDENTATION --- */
/* Cible tous les niveaux d'indentation et applique une marge gauche */
[class*="ps-indent-"] {
  display: inline-block;
}
.ps-indent-1 {
  margin-left: 2em;
}
.ps-indent-2 {
  margin-left: 4em;
}
.ps-indent-3 {
  margin-left: 6em;
}
.ps-indent-4 {
  margin-left: 8em;
}
.ps-indent-5 {
  margin-left: 10em;
}