diff options
| author | john.j.camilleri <john.j.camilleri@chalmers.se> | 2012-12-07 15:32:31 +0000 |
|---|---|---|
| committer | john.j.camilleri <john.j.camilleri@chalmers.se> | 2012-12-07 15:32:31 +0000 |
| commit | 953b6b573ac9094f2152139ea349c14ef167a638 (patch) | |
| tree | 66c2b1ae8041e5e9a84786604c9b399edc762440 /src/www/syntax-editor/editor.css | |
| parent | c4931fccaf6ae5ed2c6d164f53f13d5d55c76a72 (diff) | |
Syntax editor: change startcat when wrapping top node
Diffstat (limited to 'src/www/syntax-editor/editor.css')
| -rw-r--r-- | src/www/syntax-editor/editor.css | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/src/www/syntax-editor/editor.css b/src/www/syntax-editor/editor.css index 6d4511eb0..6a23c5bd4 100644 --- a/src/www/syntax-editor/editor.css +++ b/src/www/syntax-editor/editor.css @@ -46,7 +46,14 @@ body.syntax-editor { #tree .node { - margin: 0.4em 0 0.4em 1.5em; + margin: 0.5em 0 0.5em 0.75em; + border-left: 1px dashed #BBB; + padding-left: 1.25em; + } +#tree .node.first +{ + margin-left: 0; + border-left: none; } #tree .node a @@ -72,7 +79,7 @@ body.syntax-editor { #linearisations { /* background: rgba(170, 170, 170, 0.5); */ - padding:0.5em; + /* padding:0.5em; */ margin:0.5em 0; } #linearisations div |