annotate client/digitallibrary/greyskin/diginew.css @ 435:a6af40003a38

added osize and pixel-by-pixel; reordered buttons;
author hertzhaft
date Tue, 10 Jan 2006 12:28:57 +0100
parents e48d1d273c76
children 95f910ecdca5
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
404
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
1 /* Styles for Digilib NG */
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
2 /* (c) 2005 by Martin Raspe <hertzhaft@biblhertz.it> */
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
3 /* Bibliotheca Hertziana (Max-Planck-Institute for Art History), Rome */
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
4
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
5 body {
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
6 background-color: #E0E0E0;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
7 color: black;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
8 font-size: 8pt;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
9 }
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
10
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
11 code {
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
12 font-family: monospace;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
13 color: blue;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
14 }
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
15
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
16 pre { color: #006060; }
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
17
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
18
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
19 a.icon {
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
20 margin: 0px;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
21 padding: 0px;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
22 }
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
23
411
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
24 a.arrow {
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
25 display: block;
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
26 position: absolute;
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
27 border: none;
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
28 z-index: 150;
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
29 background-repeat: no-repeat;
424
de930d030a53 added a tags for arrows and a:hover images
hertzhaft
parents: 411
diff changeset
30 background-position: center;
411
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
31 }
428
e48d1d273c76 adapt to changes in JSP
hertzhaft
parents: 424
diff changeset
32
411
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
33 a#up:hover {
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
34 background-image: url('up.png');
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
35 }
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
36
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
37 a#down:hover {
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
38 background-image: url('down.png');
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
39 }
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
40
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
41 a#left:hover {
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
42 background-image: url('left.png');
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
43 }
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
44
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
45 a#right:hover {
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
46 background-image: url('right.png');
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
47 }
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
48
404
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
49 /* Images */
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
50
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
51 img.logo {
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
52 border: none;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
53 }
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
54
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
55 img.png {
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
56 border: none;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
57 }
411
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
58
404
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
59 img.png:hover {
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
60 background-image: url('corona.png');
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
61 }
411
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
62
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
63 img#bird-image {
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
64 border: none;
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
65 position: absolute;
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
66 bottom: 10px;
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
67 right: 10px;
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
68 visibility: hidden;
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
69 z-index: 1;
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
70 }
404
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
71
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
72 /* DIVs */
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
73
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
74 div.button {
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
75 padding: 0px;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
76 }
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
77
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
78 div.mark {
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
79 position: absolute;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
80 color: white;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
81 background: url('mark-bg-16.png');
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
82 font-family: Verdana, Arial, Helvetica, sans-serif;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
83 font-weight: bold;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
84 font-size:11px;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
85 height: 16px;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
86 width: 16px;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
87 text-align: center;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
88 z-index: 10;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
89 /* filter: progid:DXImageTransform.Microsoft.AlphaImageLoader(src='mark-bg-16.png') */
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
90 }
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
91
435
a6af40003a38 added osize and pixel-by-pixel;
hertzhaft
parents: 428
diff changeset
92 div#scaler {
a6af40003a38 added osize and pixel-by-pixel;
hertzhaft
parents: 428
diff changeset
93 position: absolute;
a6af40003a38 added osize and pixel-by-pixel;
hertzhaft
parents: 428
diff changeset
94 left: 8px;
a6af40003a38 added osize and pixel-by-pixel;
hertzhaft
parents: 428
diff changeset
95 top: 8px;
a6af40003a38 added osize and pixel-by-pixel;
hertzhaft
parents: 428
diff changeset
96 bottom: 30px;
a6af40003a38 added osize and pixel-by-pixel;
hertzhaft
parents: 428
diff changeset
97 right: 44px;
a6af40003a38 added osize and pixel-by-pixel;
hertzhaft
parents: 428
diff changeset
98 overflow: auto;
404
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
99 }
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
100
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
101 div#overlay {
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
102 position: absolute;
428
e48d1d273c76 adapt to changes in JSP
hertzhaft
parents: 424
diff changeset
103 background-color: transparent;
e48d1d273c76 adapt to changes in JSP
hertzhaft
parents: 424
diff changeset
104 border: 1px dotted lightcyan;
411
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
105 z-index: 100;
404
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
106 visibility: hidden;
411
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
107 box-sizing: border-box;
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
108 -moz-box-sizing: border-box;
404
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
109 }
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
110
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
111 div#buttons {
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
112 position: absolute;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
113 right: 5px;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
114 top: 5px;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
115 background-color: #E0E0E0;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
116 }
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
117
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
118 div#dloptions {
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
119 position: absolute;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
120 right: 5px;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
121 top: 5px;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
122 background-color: #E0E0E0;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
123 visibility: hidden;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
124 }
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
125
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
126 div#zoom {
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
127 position: absolute;
411
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
128 border: 2px solid #ffa060;
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
129 visibility: hidden;
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
130 z-index: 200;
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
131 box-sizing: border-box;
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
132 -moz-box-sizing: border-box;
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
133 }
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
134
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
135 div#bird-area {
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
136 position: absolute;
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
137 border: 2px solid #ffa060;
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
138 visibility: hidden;
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
139 background-color: transparent;
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
140 box-sizing: border-box;
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
141 -moz-box-sizing: border-box;
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
142 z-index: 10;
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
143 }
404
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
144
428
e48d1d273c76 adapt to changes in JSP
hertzhaft
parents: 424
diff changeset
145 div#calibration {
435
a6af40003a38 added osize and pixel-by-pixel;
hertzhaft
parents: 428
diff changeset
146 background: url('blue.png');
428
e48d1d273c76 adapt to changes in JSP
hertzhaft
parents: 424
diff changeset
147 position: absolute;
435
a6af40003a38 added osize and pixel-by-pixel;
hertzhaft
parents: 428
diff changeset
148 padding: 0px;
428
e48d1d273c76 adapt to changes in JSP
hertzhaft
parents: 424
diff changeset
149 visibility: hidden;
e48d1d273c76 adapt to changes in JSP
hertzhaft
parents: 424
diff changeset
150 z-index: 1000;
e48d1d273c76 adapt to changes in JSP
hertzhaft
parents: 424
diff changeset
151 }
e48d1d273c76 adapt to changes in JSP
hertzhaft
parents: 424
diff changeset
152
435
a6af40003a38 added osize and pixel-by-pixel;
hertzhaft
parents: 428
diff changeset
153 div#calibration div {
a6af40003a38 added osize and pixel-by-pixel;
hertzhaft
parents: 428
diff changeset
154 width: 100%;
a6af40003a38 added osize and pixel-by-pixel;
hertzhaft
parents: 428
diff changeset
155 height: 100%;
a6af40003a38 added osize and pixel-by-pixel;
hertzhaft
parents: 428
diff changeset
156 margin: 0px;
a6af40003a38 added osize and pixel-by-pixel;
hertzhaft
parents: 428
diff changeset
157 padding: 0px;
a6af40003a38 added osize and pixel-by-pixel;
hertzhaft
parents: 428
diff changeset
158 font-family: Verdana, Arial, Helvetica, sans-serif;
a6af40003a38 added osize and pixel-by-pixel;
hertzhaft
parents: 428
diff changeset
159 text-align: center;
a6af40003a38 added osize and pixel-by-pixel;
hertzhaft
parents: 428
diff changeset
160 color: lightcyan;
a6af40003a38 added osize and pixel-by-pixel;
hertzhaft
parents: 428
diff changeset
161 border: 1px solid lightcyan;
a6af40003a38 added osize and pixel-by-pixel;
hertzhaft
parents: 428
diff changeset
162 background: url('ruler-top.gif') 0px -1px repeat-x;
a6af40003a38 added osize and pixel-by-pixel;
hertzhaft
parents: 428
diff changeset
163 z-index: 1001;
a6af40003a38 added osize and pixel-by-pixel;
hertzhaft
parents: 428
diff changeset
164 }
a6af40003a38 added osize and pixel-by-pixel;
hertzhaft
parents: 428
diff changeset
165
a6af40003a38 added osize and pixel-by-pixel;
hertzhaft
parents: 428
diff changeset
166 p.cm {
a6af40003a38 added osize and pixel-by-pixel;
hertzhaft
parents: 428
diff changeset
167 font-weight: bold;
a6af40003a38 added osize and pixel-by-pixel;
hertzhaft
parents: 428
diff changeset
168 }
a6af40003a38 added osize and pixel-by-pixel;
hertzhaft
parents: 428
diff changeset
169
404
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
170 div#about {
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
171 position: absolute;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
172 width: 200px;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
173 top: 100px;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
174 left: 350px;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
175 height: 200px;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
176 padding: 0px 2px;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
177 font-family: Verdana, Arial, Helvetica, sans-serif;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
178 border: 3px solid lightcyan;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
179 background-color: lightgrey;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
180 text-align: center;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
181 visibility: hidden;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
182 z-index: 1000;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
183 }
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
184
428
e48d1d273c76 adapt to changes in JSP
hertzhaft
parents: 424
diff changeset
185 div#about p {
e48d1d273c76 adapt to changes in JSP
hertzhaft
parents: 424
diff changeset
186 margin: 6px;
e48d1d273c76 adapt to changes in JSP
hertzhaft
parents: 424
diff changeset
187 }
e48d1d273c76 adapt to changes in JSP
hertzhaft
parents: 424
diff changeset
188
e48d1d273c76 adapt to changes in JSP
hertzhaft
parents: 424
diff changeset
189
404
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
190 /* DEBUG elements */
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
191
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
192 div#debug {
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
193 position: absolute;
428
e48d1d273c76 adapt to changes in JSP
hertzhaft
parents: 424
diff changeset
194 width: 150px;
e48d1d273c76 adapt to changes in JSP
hertzhaft
parents: 424
diff changeset
195 top: 50px;
e48d1d273c76 adapt to changes in JSP
hertzhaft
parents: 424
diff changeset
196 right: 36px;
e48d1d273c76 adapt to changes in JSP
hertzhaft
parents: 424
diff changeset
197 bottom: 50px;
404
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
198 overflow: auto;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
199 padding: 0px 2px;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
200 font-family: Verdana, Arial, Helvetica, sans-serif;
435
a6af40003a38 added osize and pixel-by-pixel;
hertzhaft
parents: 428
diff changeset
201 color: lightgreen;
a6af40003a38 added osize and pixel-by-pixel;
hertzhaft
parents: 428
diff changeset
202 border: 1px dotted black;
411
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
203 background-color: transparent;
404
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
204 }
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
205
411
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
206 div#debug p.debug, h1 {
404
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
207 font-weight: bold;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
208 color: lightcyan;
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
209 }
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
210
411
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
211 div#debug p, h1 {
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
212 margin: 0px;
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
213 padding: 2px 0px;
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
214 font-size: 9px;
435
a6af40003a38 added osize and pixel-by-pixel;
hertzhaft
parents: 428
diff changeset
215 background-color: black;
411
80dcfa0ce225 support for bird's eye view;
hertzhaft
parents: 404
diff changeset
216 }
404
e9bfc85f2df5 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
217
435
a6af40003a38 added osize and pixel-by-pixel;
hertzhaft
parents: 428
diff changeset
218