1
+ − 1
body {
+ − 2
overflow: hidden;
+ − 3
}
+ − 4
+ − 5
h1 {
+ − 6
font-size: 14px;
+ − 7
margin: 0 0 10px 0;
+ − 8
}
+ − 9
+ − 10
h2 {
+ − 11
font-size: 12px;
+ − 12
margin: 3px 0 3px 0;
+ − 13
}
+ − 14
+ − 15
h3 {
+ − 16
font-size: 11px;
+ − 17
margin: 3px 0 3px 0;
+ − 18
}
+ − 19
+ − 20
#log {
+ − 21
font-family: Verdana;
+ − 22
border: 1px solid gray;
+ − 23
width: 100%; height: 240px;
+ − 24
overflow: scroll;
+ − 25
white-space: nowrap;
+ − 26
}
+ − 27
+ − 28
#log span {
+ − 29
display: block;
+ − 30
}
+ − 31
+ − 32
#log span.msg {
+ − 33
float: left;
+ − 34
}
+ − 35
+ − 36
#log span.time {
+ − 37
float: left;
+ − 38
}
+ − 39
+ − 40
#log br {
+ − 41
clear: both;
+ − 42
}
+ − 43
+ − 44
#logfilter {
+ − 45
width: 350px;
+ − 46
}
+ − 47
+ − 48
#logenabled {
+ − 49
border: 0;
+ − 50
}
+ − 51
+ − 52
#settings_panel span, #info_panel span, #content_panel span, #command_states_panel span, #undo_redo_panel span {
+ − 53
display: block;
+ − 54
margin: 5px 0 5px 0;
+ − 55
}
+ − 56
+ − 57
div.data {
+ − 58
width: 100%; height: 240px;
+ − 59
overflow: scroll;
+ − 60
border: 1px solid gray;
+ − 61
}
+ − 62
+ − 63
#misc_panel div.data {
+ − 64
height: 270px;
+ − 65
}
+ − 66
+ − 67
.data input {
+ − 68
width: 265px;
+ − 69
border: 0;
+ − 70
}
+ − 71
+ − 72
.data h2 {
+ − 73
margin-left: 5px;
+ − 74
}
+ − 75
+ − 76
.data h3 {
+ − 77
margin-left: 7px;
+ − 78
}
+ − 79
+ − 80
.data div {
+ − 81
margin-left: 7px;
+ − 82
}
+ − 83
+ − 84
.data table {
+ − 85
margin: 0 0 15px 15px;
+ − 86
}
+ − 87
+ − 88
.data p {
+ − 89
margin: 0; padding: 0;
+ − 90
margin-top: 5px;
+ − 91
margin-left: 5px;
+ − 92
}
+ − 93
+ − 94
table, td {
+ − 95
border: 1px solid gray;
+ − 96
border-collapse: collapse;
+ − 97
}
+ − 98
+ − 99
#flip {
+ − 100
position: absolute;
+ − 101
left: 295; top: 384px;
+ − 102
}
+ − 103
+ − 104
.bspec {
+ − 105
color: gray;
+ − 106
}
+ − 107
+ − 108
.dep {
+ − 109
color: #880000;
+ − 110
}
+ − 111
+ − 112
.col1 {
+ − 113
width: 265px;
+ − 114
}
+ − 115
+ − 116
div.undodata {
+ − 117
}