diff --git a/src/www/syntax-editor/editor.css b/src/www/syntax-editor/editor.css index d1964c306..08eb20849 100644 --- a/src/www/syntax-editor/editor.css +++ b/src/www/syntax-editor/editor.css @@ -80,6 +80,8 @@ body.syntax-editor { /* display: inline-block; */ /* margin-left: 0.5em; */ margin-top: 0.3em; + border: 3px solid #e0e0e0; + padding: 5px; } #linearisations