diff options
| author | hallgren <hallgren@chalmers.se> | 2012-02-24 15:16:37 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-02-24 15:16:37 +0000 |
| commit | f81e1586f5a2ceab7ada93950b2d84b175377822 (patch) | |
| tree | 4e3e3d47395ed4991d62cc3adaea8e3f2360e214 /src/www/gfse/editor.css | |
| parent | 667ca8e5f7988d69393ce31058072eb8868445ae (diff) | |
gfse: text mode tweaks
Diffstat (limited to 'src/www/gfse/editor.css')
| -rw-r--r-- | src/www/gfse/editor.css | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/www/gfse/editor.css b/src/www/gfse/editor.css index 100e5b35b..2c930d849 100644 --- a/src/www/gfse/editor.css +++ b/src/www/gfse/editor.css @@ -99,6 +99,11 @@ li { margin-top: 0.5ex; margin-bottom: 0.5ex; } div.compiler_output .back_to_editor { display: none; } +textarea.text_mode { + /*font-family: inherit; font-size: inherit;*/ + width: 99%; +} + div#minibar { border: 1px solid black; padding: 5px; |