#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;
}