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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
|
body {
margin: 0;
padding: 0;
}
#header {
background-color: #3C3C3C;
height:50px;
width: 100%;
}
#nav div {
display: inline-block;
height: 50px;
}
#nav a {
height: 30px;
padding-top: 15px;
}
.btn-group {
margin-top: -45px;
}
#nav .separator {
width: 0px; /* amazing, this seems to work */
height:50px;
border-left: 1px solid #111111;
border-right: 1px solid #555555;
margin-left: 5px;
margin-right: 5px;
}
#doc a {
background-color: #F0F0F0;
border: 1px solid #ccc;
padding: 1px;
}
.editorinfo {
background-color: #0a68ad;
color: white;
font-size: 18px;
padding-top: 5px;
padding-bottom: 5px;
padding-left: 10px;
margin-top: 10px;
}
.ace {
height:500px;
width:100%;
}
.highlighted {
background-color: #ff00ff;
opacity: 0.5;
position: absolute;
z-index: 4;
}
.interesting {
background-color: #ffff00;
opacity: 0.5;
position: absolute;
z-index: 4;
}
#dropdown {
width: 500px;
position: absolute;
background-color: #333333;
z-index: 100;
left: 5%;
display: none;
}
#dropdown * {
position: relative;
margin:0px;
padding:0px;
}
section.group {
width:100%;
top:0px;
height:auto;
}
section.group div.heading {
font-size:14px;
font-family:verdana;
cursor:pointer;
width:100%;
height:auto;
color:#fff;
background-color:#305EB3;
border-top:#628DDE 1px solid;
border-bottom:#284882 1px solid;
}
section.group div.heading h1 {
font-size:14px;
font-weight:normal;
padding:6px 0 6px 10px;
max-width:60%;
}
section.inner.group div.heading {
background-color:#444;
border-top:#666 1px solid;
border-bottom:#333 1px solid;
}
section.inner.group div.heading h1 {
padding-left:13px;
font-size:12px;
}
section.group div.content {
width:100%;
height:0px;
min-height:auto;
overflow:hidden;
background-color:#333;
border:solid #f00 0px;
color:#fff;
}
section.group div.content a {
color:inherit;
font-family:Verdana;
font-size:12px;
text-decoration:none;
display:list-item;
padding:4px 0 4px 20px;
}
section.group div.content a:hover {
text-decoration:underline;
}
section.group div.content a:first-child {
padding-top:7px
}
section.group div.content a:last-child {
padding:4px 0 10px 20px;
}
section.group div.heading.pink {
background-color:#D9388B;
border-top:#F772B7 1px solid;
border-bottom:#A12263 1px solid;
}
|