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