first implementation but far to be optimal

2026-04-16 22:38:20 +02:00
commit de3f9b16cf
19336 changed files with 380276 additions and 0 deletions
@@ -0,0 +1,35 @@
+/* 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;
+}