diff options
Diffstat (limited to '')
-rw-r--r-- | plugins/LocalFilesEditor/template/locfiledit.css | 32 |
1 files changed, 0 insertions, 32 deletions
diff --git a/plugins/LocalFilesEditor/template/locfiledit.css b/plugins/LocalFilesEditor/template/locfiledit.css deleted file mode 100644 index 10589bcec..000000000 --- a/plugins/LocalFilesEditor/template/locfiledit.css +++ /dev/null @@ -1,32 +0,0 @@ -#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 |