AI: checkpoint 5

2026-04-23 11:57:56 +02:00
parent 6fe92bc7c6
commit 44f9a2c26b
1 changed files with 6 additions and 0 deletions
@@ -104,6 +104,12 @@ if (!window.__mrmthScriptInputUnifiedInit) {
                height: auto;
            }

+.mrmth-syntax-layer,
+.mrmth-measure {
+    margin: 0 !important;
+}
+
+
            .mrmth-token-comment { color: #7f8c8d; }
            .mrmth-token-number { color: #f39c12; }
            .mrmth-token-constant { color: #f1c40f; }