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; }