blob: 10589bcec90d61eba65c39694e95c31715e59ded (
plain)
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
|
#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;
}
|