diff options
| author | john.j.camilleri <john.j.camilleri@chalmers.se> | 2013-06-13 07:34:16 +0000 |
|---|---|---|
| committer | john.j.camilleri <john.j.camilleri@chalmers.se> | 2013-06-13 07:34:16 +0000 |
| commit | 51ece66688cbbb9295126bdc99303b631ef0dacb (patch) | |
| tree | 677364a9eb892afa2a92588dce9bc4b7bc0eb3e3 /src | |
| parent | c505747492e8ee96ef143f7f464bbf8671c21b58 (diff) | |
Syntax editor: minor CSS tweak to resemble Minibar more
Diffstat (limited to 'src')
| -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 |