annotate client/digitallibrary/greyskin/diginew.css @ 445:6154dfc67615

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