diff --git a/assets/gui/css/alas.css b/assets/gui/css/alas.css index 94e696480..1b1805c54 100644 --- a/assets/gui/css/alas.css +++ b/assets/gui/css/alas.css @@ -206,6 +206,10 @@ button.btn.dropdown-toggle { height: auto !important; } +.CodeMirror-scroll { + max-height: 120px; +} + .CodeMirror-line { font-family: SFMono-Regular, SF Mono, Menlo, Consolas, Liberation Mono, monospace !important; }