diff options
Diffstat (limited to 'src/www/syntax-editor/editor.css')
| -rw-r--r-- | src/www/syntax-editor/editor.css | 2 |
1 files changed, 2 insertions, 0 deletions
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 |