diff options
Diffstat (limited to 'plugins/LocalFilesEditor/locfiledit.css')
-rw-r--r-- | plugins/LocalFilesEditor/locfiledit.css | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/plugins/LocalFilesEditor/locfiledit.css b/plugins/LocalFilesEditor/locfiledit.css deleted file mode 100644 index bb59ec40c..000000000 --- a/plugins/LocalFilesEditor/locfiledit.css +++ /dev/null @@ -1,34 +0,0 @@ -#LocalFilesEditor { - text-align: center; - margin: 0 2em; -} - -#LocalFilesEditor .top_right { - float: right; - margin-right: 1%; -} - -#LocalFilesEditor B { - float: left; -} - -#LocalFilesEditor TEXTAREA { - margin: 0.5em 0; - width: 99%; - height: 500px; - float: left; -} - -#LocalFilesEditor TD { - padding: 0.5em; -} - -.CodeMirror { - background-color: #EEEEEE; - font-size: 1.3em; - border: 1px solid #999999; - margin: 0.5em 0; - width: 99%; - min-height: 500px; - height: auto; -} |