annotate src/de/mpg/mpiwg/itgroup/digilib/icons/greyskin/diginew.css @ 1:83c58ea33792

first release (continued)
author dwinter
date Mon, 03 Jan 2011 09:11:25 +0100
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
1 /* Styles for Digilib NG */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
2 /* (c) 2005 by Martin Raspe <hertzhaft@biblhertz.it> */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
3 /* Bibliotheca Hertziana (Max-Planck-Institute for Art History), Rome */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
4
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
5 body {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
6 background-color: #E0E0E0;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
7 color: black;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
8 font-size: 8pt;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
9 margin-left: 8px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
10 margin-top: 8px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
11 padding: 0px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
12 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
13
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
14 code {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
15 font-family: monospace;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
16 color: blue;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
17 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
18
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
19 pre { color: #006060; }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
20
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
21
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
22 a.icon {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
23 margin: 0px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
24 padding: 0px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
25 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
26
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
27 a.arrow {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
28 display: block;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
29 position: absolute;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
30 border: none;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
31 z-index: 50;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
32 background-repeat: no-repeat;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
33 background-position: center;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
34 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
35
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
36 a#up:hover {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
37 background-image: url('up.png');
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
38 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
39
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
40 a#down:hover {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
41 background-image: url('down.png');
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
42 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
43
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
44 a#left:hover {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
45 background-image: url('left.png');
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
46 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
47
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
48 a#right:hover {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
49 background-image: url('right.png');
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
50 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
51
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
52 /* Images */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
53
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
54 img.logo {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
55 border: none;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
56 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
57
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
58 img.png {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
59 border: none;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
60 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
61
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
62 img.png:hover {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
63 background-image: url('corona.png');
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
64 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
65
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
66 img#bird-image {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
67 border: none;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
68 position: fixed;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
69 bottom: 8px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
70 right: 48px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
71 visibility: hidden;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
72 z-index: 1;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
73 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
74
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
75 /* DIVs */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
76
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
77 div.button {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
78 padding: 0px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
79 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
80
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
81 div.separator {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
82 margin-bottom: 4px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
83 border-top: 2px solid lightgrey;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
84 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
85
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
86 div.mark {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
87 position: absolute;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
88 color: white;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
89 background: url('mark-bg-16.png');
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
90 font-family: Verdana, Arial, Helvetica, sans-serif;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
91 font-weight: bold;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
92 font-size:11px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
93 height: 15px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
94 width: 16px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
95 padding-top: 1px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
96 text-align: center;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
97 z-index: 10;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
98 visibility: hidden;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
99 /* filter: progid:DXImageTransform.Microsoft.AlphaImageLoader(src='mark-bg-16.png') */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
100 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
101
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
102 div#bg {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
103 position: absolute;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
104 background-color: grey;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
105 background-repeat:no-repeat;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
106 cursor: move;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
107 visibility: hidden;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
108 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
109
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
110 div#scaler {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
111 margin-right: 50px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
112 /* position: absolute;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
113 left: 8px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
114 top: 8px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
115 bottom: 8px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
116 right: 44px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
117 */ /* overflow: auto; */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
118 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
119
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
120 div#scaler img {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
121 cursor: default;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
122 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
123
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
124 div#overlay, div#bird-overlay {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
125 position: fixed;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
126 background-color: transparent;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
127 border: none;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
128 z-index: 100;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
129 visibility: hidden;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
130 /* box-sizing: border-box;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
131 -moz-box-sizing: border-box; */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
132 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
133
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
134 div#buttons {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
135 position: fixed;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
136 right: 5px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
137 top: 5px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
138 padding: 3px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
139 /* background-color: #E0E0E0; */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
140 background-color: lightgrey;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
141 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
142
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
143 div#dloptions {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
144 position: fixed;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
145 right: 5px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
146 top: 5px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
147 padding: 3px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
148 /* background-color: #E0E0E0; */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
149 background-color: lightgrey;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
150 visibility: hidden;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
151 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
152
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
153 div#zoom {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
154 position: absolute;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
155 /* border: 2px solid #ffa060; */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
156 border: 2px solid #ff0000;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
157 z-index: 200;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
158 visibility: hidden;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
159 /* box-sizing: border-box;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
160 -moz-box-sizing: border-box; */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
161 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
162
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
163 div#bird-area {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
164 position: fixed;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
165 /* border: 2px solid #ffa060; */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
166 border: 2px solid #ff0000;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
167 background-color: transparent;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
168 /* box-sizing: border-box;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
169 -moz-box-sizing: border-box; */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
170 z-index: 10;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
171 visibility: hidden;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
172 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
173
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
174 div#calibration {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
175 background: url('blue.png');
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
176 position: absolute;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
177 top: 0px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
178 width: 400px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
179 padding: 0px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
180 visibility: hidden;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
181 z-index: 1000;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
182 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
183
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
184 div#calibration div {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
185 width: 100%;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
186 height: 100%;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
187 margin: 0px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
188 padding: 0px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
189 font-family: Verdana, Arial, Helvetica, sans-serif;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
190 text-align: center;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
191 color: lightcyan;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
192 border: 1px solid lightcyan;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
193 background: url('ruler-top.gif') 0px -1px repeat-x;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
194 z-index: 1001;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
195 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
196
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
197 p.cm {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
198 font-weight: bold;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
199 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
200
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
201 div.popup-menu {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
202 position: absolute;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
203 top: 0px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
204 padding: 0px 2px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
205 font-family: Verdana, Arial, Helvetica, sans-serif;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
206 border: 2px solid lightcyan;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
207 background-color: lightgrey;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
208 text-align: center;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
209 visibility: hidden;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
210 z-index: 1005;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
211 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
212
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
213 div.popup-menu p {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
214 margin: 2px 0px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
215 padding: 0px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
216 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
217
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
218 div.popup-menu p:hover {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
219 background-color: #ffa060;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
220 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
221
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
222 div.popup-menu a {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
223 text-decoration: none;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
224 color: black;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
225 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
226
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
227 div#about {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
228 position: absolute;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
229 width: 200px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
230 top: 100px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
231 left: 350px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
232 height: 200px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
233 padding: 0px 2px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
234 font-family: Verdana, Arial, Helvetica, sans-serif;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
235 border: 2px solid lightcyan;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
236 background-color: lightgrey;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
237 text-align: center;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
238 visibility: hidden;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
239 z-index: 1000;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
240 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
241
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
242 div#about p {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
243 margin: 6px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
244 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
245
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
246
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
247 /* DEBUG elements */
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
248
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
249 div#debug {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
250 position: absolute;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
251 width: 150px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
252 top: 50px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
253 right: 36px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
254 bottom: 50px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
255 overflow: auto;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
256 padding: 0px 2px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
257 font-family: Verdana, Arial, Helvetica, sans-serif;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
258 color: lightgreen;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
259 border: 1px dotted black;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
260 background-color: transparent;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
261 visibility: hidden;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
262 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
263
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
264 div#debug p.debug, h1 {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
265 font-weight: bold;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
266 color: lightcyan;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
267 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
268
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
269 div#debug p, h1 {
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
270 margin: 0px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
271 padding: 2px 0px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
272 font-size: 9px;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
273 background-color: black;
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
274 }
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
275
83c58ea33792 first release (continued)
dwinter
parents:
diff changeset
276