diff options
| author | john.j.camilleri <john.j.camilleri@chalmers.se> | 2013-08-13 09:30:13 +0000 |
|---|---|---|
| committer | john.j.camilleri <john.j.camilleri@chalmers.se> | 2013-08-13 09:30:13 +0000 |
| commit | bce1dff72877053f4041446b6d13181abec65656 (patch) | |
| tree | 82bc2c09ccb06a3cbb5525ea7e8988123ace348f | |
| parent | 892596d7d660dc920df8d474e5781eb81c090dc5 (diff) | |
Syntax editor: minor CSS fix
| -rw-r--r-- | src/www/syntax-editor/editor.css | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/www/syntax-editor/editor.css b/src/www/syntax-editor/editor.css index 08eb20849..83d8ca3d5 100644 --- a/src/www/syntax-editor/editor.css +++ b/src/www/syntax-editor/editor.css @@ -37,7 +37,7 @@ body.syntax-editor { #tree, #tree_str { - white-space:pre; + white-space:pre-wrap; font-family: monospace; background: rgba(238, 238, 238, 0.6); padding:0.5em; @@ -125,7 +125,7 @@ body.syntax-editor { div#debug { font: 10px monospace; - white-space: pre; + white-space: pre-wrap; color: #333; margin: 1em 0; border: 1px dashed #999; |