annotate client/digitallibrary/jskin/diginew.css @ 519:b21acdd1fa9d jquery

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