diff options
Diffstat (limited to '')
-rw-r--r-- | plugins/LocalFilesEditor/template/locfiledit.css (renamed from plugins/LocalFilesEditor/locfiledit.css) | 24 |
1 files changed, 11 insertions, 13 deletions
diff --git a/plugins/LocalFilesEditor/locfiledit.css b/plugins/LocalFilesEditor/template/locfiledit.css index bb59ec40c..10589bcec 100644 --- a/plugins/LocalFilesEditor/locfiledit.css +++ b/plugins/LocalFilesEditor/template/locfiledit.css @@ -3,32 +3,30 @@ margin: 0 2em; } -#LocalFilesEditor .top_right { - float: right; - margin-right: 1%; +#LocalFilesEditor #title_bar { + overflow: auto; } -#LocalFilesEditor B { +#LocalFilesEditor .file_name { + font-weight: bold; float: left; } -#LocalFilesEditor TEXTAREA { - margin: 0.5em 0; - width: 99%; - height: 500px; - float: left; +#LocalFilesEditor .default_file { + float: right; } #LocalFilesEditor TD { padding: 0.5em; } -.CodeMirror { +#LocalFilesEditor TEXTAREA, .CodeMirror { background-color: #EEEEEE; - font-size: 1.3em; + font-family: monospace,Arial,sans-serif; + font-size: 1.2em; border: 1px solid #999999; margin: 0.5em 0; - width: 99%; + width: 100%; min-height: 500px; height: auto; -} +}
\ No newline at end of file |