diff options
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; |