Merge branch 'feature/hello-github' into 2.7

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