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