From 44f9a2c26bd80b8df23a0c4bedd94467a87e51d1 Mon Sep 17 00:00:00 2001 From: mcDandy Date: Thu, 23 Apr 2026 11:29:22 +0200 Subject: [PATCH] AI: checkpoint 5 --- web/script_text_input.js | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/web/script_text_input.js b/web/script_text_input.js index d2f9f0d..892eb64 100644 --- a/web/script_text_input.js +++ b/web/script_text_input.js @@ -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; }