plugins/LocalFilesEditor/locfiledit.css


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34

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