diff options
Diffstat (limited to '')
| -rw-r--r-- | plugins/LocalFilesEditor/locfiledit.css | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/plugins/LocalFilesEditor/locfiledit.css b/plugins/LocalFilesEditor/locfiledit.css index 9236a3137..f0981f524 100644 --- a/plugins/LocalFilesEditor/locfiledit.css +++ b/plugins/LocalFilesEditor/locfiledit.css @@ -14,7 +14,8 @@ #LocalFilesEditor TEXTAREA { margin: 0.5em 0; - width: 99.5%; + width: 99%; + height: 500px; float: left; } @@ -22,7 +23,6 @@ width: 100%; float: left; text-align: left; - display: none; } #LocalFilesEditor #hideedit { @@ -32,3 +32,13 @@ #LocalFilesEditor TD { padding: 0.5em; } + +.CodeMirror { + background-color: #DDDDDD; + font-size: 1.3em; + border: 1px solid #999999; + margin: 0.5em 0; + width: 99%; + min-height: 500px; + height: auto; +} |