annotate client/digitallibrary/greyskin/diginew.css @ 522:688620e8c015

drag zoomed image to new position
author hertzhaft
date Tue, 08 Sep 2009 19:50:27 +0200
parents a113320349c0
children 7be5771b6473
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;
522
688620e8c015 drag zoomed image to new position
hertzhaft
parents: 520
diff changeset
9 margin: 8px 0px 0px 8px;
688620e8c015 drag zoomed image to new position
hertzhaft
parents: 520
diff changeset
10 padding: 0px;
688620e8c015 drag zoomed image to new position
hertzhaft
parents: 520
diff changeset
11 overflow: hidden;
408
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
12 }
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
13
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
14 code {
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
15 font-family: monospace;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
16 color: blue;
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 pre { color: #006060; }
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
20
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
21
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
22 a.icon {
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
23 margin: 0px;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
24 padding: 0px;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
25 }
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
26
415
de7200c3a3e2 support for bird's eye view;
hertzhaft
parents: 408
diff changeset
27 a.arrow {
de7200c3a3e2 support for bird's eye view;
hertzhaft
parents: 408
diff changeset
28 display: block;
de7200c3a3e2 support for bird's eye view;
hertzhaft
parents: 408
diff changeset
29 position: absolute;
de7200c3a3e2 support for bird's eye view;
hertzhaft
parents: 408
diff changeset
30 border: none;
514
e91d6050f27d zoom and pan marks in red
robcast
parents: 454
diff changeset
31 z-index: 50;
415
de7200c3a3e2 support for bird's eye view;
hertzhaft
parents: 408
diff changeset
32 background-repeat: no-repeat;
428
ec504da8f69a added a tags for arrows and a:hover images
hertzhaft
parents: 415
diff changeset
33 background-position: center;
415
de7200c3a3e2 support for bird's eye view;
hertzhaft
parents: 408
diff changeset
34 }
432
0e5aebfeb7d4 adapt to changes in JSP
hertzhaft
parents: 428
diff changeset
35
415
de7200c3a3e2 support for bird's eye view;
hertzhaft
parents: 408
diff changeset
36 a#up:hover {
de7200c3a3e2 support for bird's eye view;
hertzhaft
parents: 408
diff changeset
37 background-image: url('up.png');
de7200c3a3e2 support for bird's eye view;
hertzhaft
parents: 408
diff changeset
38 }
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 a#down:hover {
de7200c3a3e2 support for bird's eye view;
hertzhaft
parents: 408
diff changeset
41 background-image: url('down.png');
de7200c3a3e2 support for bird's eye view;
hertzhaft
parents: 408
diff changeset
42 }
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 a#left:hover {
de7200c3a3e2 support for bird's eye view;
hertzhaft
parents: 408
diff changeset
45 background-image: url('left.png');
de7200c3a3e2 support for bird's eye view;
hertzhaft
parents: 408
diff changeset
46 }
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 a#right:hover {
de7200c3a3e2 support for bird's eye view;
hertzhaft
parents: 408
diff changeset
49 background-image: url('right.png');
de7200c3a3e2 support for bird's eye view;
hertzhaft
parents: 408
diff changeset
50 }
de7200c3a3e2 support for bird's eye view;
hertzhaft
parents: 408
diff changeset
51
408
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
52 /* Images */
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
53
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
54 img.logo {
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
55 border: none;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
56 }
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
57
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
58 img.png {
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
59 border: none;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
60 }
415
de7200c3a3e2 support for bird's eye view;
hertzhaft
parents: 408
diff changeset
61
408
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
62 img.png:hover {
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
63 background-image: url('corona.png');
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
64 }
415
de7200c3a3e2 support for bird's eye view;
hertzhaft
parents: 408
diff changeset
65
de7200c3a3e2 support for bird's eye view;
hertzhaft
parents: 408
diff changeset
66 img#bird-image {
de7200c3a3e2 support for bird's eye view;
hertzhaft
parents: 408
diff changeset
67 border: none;
514
e91d6050f27d zoom and pan marks in red
robcast
parents: 454
diff changeset
68 position: fixed;
520
a113320349c0 Reset-Button und Funktion
hertzhaft
parents: 517
diff changeset
69 bottom: 8px;
a113320349c0 Reset-Button und Funktion
hertzhaft
parents: 517
diff changeset
70 right: 48px;
415
de7200c3a3e2 support for bird's eye view;
hertzhaft
parents: 408
diff changeset
71 visibility: hidden;
de7200c3a3e2 support for bird's eye view;
hertzhaft
parents: 408
diff changeset
72 z-index: 1;
de7200c3a3e2 support for bird's eye view;
hertzhaft
parents: 408
diff changeset
73 }
408
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
74
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
75 /* DIVs */
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
76
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
77 div.button {
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
78 padding: 0px;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
79 }
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
80
440
85aef29cc1da sizes menu;
hertzhaft
parents: 439
diff changeset
81 div.separator {
85aef29cc1da sizes menu;
hertzhaft
parents: 439
diff changeset
82 margin-bottom: 4px;
85aef29cc1da sizes menu;
hertzhaft
parents: 439
diff changeset
83 border-top: 2px solid lightgrey;
85aef29cc1da sizes menu;
hertzhaft
parents: 439
diff changeset
84 }
85aef29cc1da sizes menu;
hertzhaft
parents: 439
diff changeset
85
408
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
86 div.mark {
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
87 position: absolute;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
88 color: white;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
89 background: url('mark-bg-16.png');
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
90 font-family: Verdana, Arial, Helvetica, sans-serif;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
91 font-weight: bold;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
92 font-size:11px;
452
6edd60cfa47f ongoing experimental intermediary release
robcast
parents: 445
diff changeset
93 height: 15px;
408
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
94 width: 16px;
452
6edd60cfa47f ongoing experimental intermediary release
robcast
parents: 445
diff changeset
95 padding-top: 1px;
408
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
96 text-align: center;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
97 z-index: 10;
522
688620e8c015 drag zoomed image to new position
hertzhaft
parents: 520
diff changeset
98 visibility: hidden;
408
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
99 /* filter: progid:DXImageTransform.Microsoft.AlphaImageLoader(src='mark-bg-16.png') */
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
100 }
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
101
522
688620e8c015 drag zoomed image to new position
hertzhaft
parents: 520
diff changeset
102 div#bg {
688620e8c015 drag zoomed image to new position
hertzhaft
parents: 520
diff changeset
103 position: absolute;
688620e8c015 drag zoomed image to new position
hertzhaft
parents: 520
diff changeset
104 background-color: grey;
688620e8c015 drag zoomed image to new position
hertzhaft
parents: 520
diff changeset
105 background-repeat:no-repeat;
688620e8c015 drag zoomed image to new position
hertzhaft
parents: 520
diff changeset
106 cursor: move;
688620e8c015 drag zoomed image to new position
hertzhaft
parents: 520
diff changeset
107 visibility: hidden;
688620e8c015 drag zoomed image to new position
hertzhaft
parents: 520
diff changeset
108 }
688620e8c015 drag zoomed image to new position
hertzhaft
parents: 520
diff changeset
109
439
65219f4fcf6b added osize and pixel-by-pixel;
hertzhaft
parents: 432
diff changeset
110 div#scaler {
452
6edd60cfa47f ongoing experimental intermediary release
robcast
parents: 445
diff changeset
111 /* position: absolute;
439
65219f4fcf6b added osize and pixel-by-pixel;
hertzhaft
parents: 432
diff changeset
112 left: 8px;
65219f4fcf6b added osize and pixel-by-pixel;
hertzhaft
parents: 432
diff changeset
113 top: 8px;
522
688620e8c015 drag zoomed image to new position
hertzhaft
parents: 520
diff changeset
114 bottom: 8px;
439
65219f4fcf6b added osize and pixel-by-pixel;
hertzhaft
parents: 432
diff changeset
115 right: 44px;
452
6edd60cfa47f ongoing experimental intermediary release
robcast
parents: 445
diff changeset
116 */ /* overflow: auto; */
408
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
117 }
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
118
522
688620e8c015 drag zoomed image to new position
hertzhaft
parents: 520
diff changeset
119 div#scaler img {
688620e8c015 drag zoomed image to new position
hertzhaft
parents: 520
diff changeset
120 cursor: default;
688620e8c015 drag zoomed image to new position
hertzhaft
parents: 520
diff changeset
121 }
688620e8c015 drag zoomed image to new position
hertzhaft
parents: 520
diff changeset
122
517
72604a10ee1a fixes for zoom when birds-eye view open
robcast
parents: 514
diff changeset
123 div#overlay, div#bird-overlay {
514
e91d6050f27d zoom and pan marks in red
robcast
parents: 454
diff changeset
124 position: fixed;
432
0e5aebfeb7d4 adapt to changes in JSP
hertzhaft
parents: 428
diff changeset
125 background-color: transparent;
514
e91d6050f27d zoom and pan marks in red
robcast
parents: 454
diff changeset
126 border: 1px solid lightgrey;
415
de7200c3a3e2 support for bird's eye view;
hertzhaft
parents: 408
diff changeset
127 z-index: 100;
408
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
128 visibility: hidden;
442
3d37d8eae372 support for sliders started
hertzhaft
parents: 440
diff changeset
129 /* box-sizing: border-box;
3d37d8eae372 support for sliders started
hertzhaft
parents: 440
diff changeset
130 -moz-box-sizing: border-box; */
408
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
131 }
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
132
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
133 div#buttons {
452
6edd60cfa47f ongoing experimental intermediary release
robcast
parents: 445
diff changeset
134 position: fixed;
408
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
135 right: 5px;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
136 top: 5px;
452
6edd60cfa47f ongoing experimental intermediary release
robcast
parents: 445
diff changeset
137 padding: 3px;
6edd60cfa47f ongoing experimental intermediary release
robcast
parents: 445
diff changeset
138 /* background-color: #E0E0E0; */
6edd60cfa47f ongoing experimental intermediary release
robcast
parents: 445
diff changeset
139 background-color: lightgrey;
6edd60cfa47f ongoing experimental intermediary release
robcast
parents: 445
diff changeset
140 }
408
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
141
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
142 div#dloptions {
452
6edd60cfa47f ongoing experimental intermediary release
robcast
parents: 445
diff changeset
143 position: fixed;
408
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
144 right: 5px;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
145 top: 5px;
452
6edd60cfa47f ongoing experimental intermediary release
robcast
parents: 445
diff changeset
146 padding: 3px;
6edd60cfa47f ongoing experimental intermediary release
robcast
parents: 445
diff changeset
147 /* background-color: #E0E0E0; */
6edd60cfa47f ongoing experimental intermediary release
robcast
parents: 445
diff changeset
148 background-color: lightgrey;
408
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
149 visibility: hidden;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
150 }
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
151
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
152 div#zoom {
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
153 position: absolute;
514
e91d6050f27d zoom and pan marks in red
robcast
parents: 454
diff changeset
154 /* border: 2px solid #ffa060; */
e91d6050f27d zoom and pan marks in red
robcast
parents: 454
diff changeset
155 border: 2px solid #ff0000;
522
688620e8c015 drag zoomed image to new position
hertzhaft
parents: 520
diff changeset
156 z-index: 200;
415
de7200c3a3e2 support for bird's eye view;
hertzhaft
parents: 408
diff changeset
157 visibility: hidden;
442
3d37d8eae372 support for sliders started
hertzhaft
parents: 440
diff changeset
158 /* box-sizing: border-box;
3d37d8eae372 support for sliders started
hertzhaft
parents: 440
diff changeset
159 -moz-box-sizing: border-box; */
415
de7200c3a3e2 support for bird's eye view;
hertzhaft
parents: 408
diff changeset
160 }
de7200c3a3e2 support for bird's eye view;
hertzhaft
parents: 408
diff changeset
161
de7200c3a3e2 support for bird's eye view;
hertzhaft
parents: 408
diff changeset
162 div#bird-area {
514
e91d6050f27d zoom and pan marks in red
robcast
parents: 454
diff changeset
163 position: fixed;
e91d6050f27d zoom and pan marks in red
robcast
parents: 454
diff changeset
164 /* border: 2px solid #ffa060; */
e91d6050f27d zoom and pan marks in red
robcast
parents: 454
diff changeset
165 border: 2px solid #ff0000;
415
de7200c3a3e2 support for bird's eye view;
hertzhaft
parents: 408
diff changeset
166 background-color: transparent;
442
3d37d8eae372 support for sliders started
hertzhaft
parents: 440
diff changeset
167 /* box-sizing: border-box;
3d37d8eae372 support for sliders started
hertzhaft
parents: 440
diff changeset
168 -moz-box-sizing: border-box; */
415
de7200c3a3e2 support for bird's eye view;
hertzhaft
parents: 408
diff changeset
169 z-index: 10;
522
688620e8c015 drag zoomed image to new position
hertzhaft
parents: 520
diff changeset
170 visibility: hidden;
415
de7200c3a3e2 support for bird's eye view;
hertzhaft
parents: 408
diff changeset
171 }
408
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
172
432
0e5aebfeb7d4 adapt to changes in JSP
hertzhaft
parents: 428
diff changeset
173 div#calibration {
439
65219f4fcf6b added osize and pixel-by-pixel;
hertzhaft
parents: 432
diff changeset
174 background: url('blue.png');
432
0e5aebfeb7d4 adapt to changes in JSP
hertzhaft
parents: 428
diff changeset
175 position: absolute;
454
96bf096d9ab3 ongoing experimental intermediary release
robcast
parents: 452
diff changeset
176 width: 400px;
439
65219f4fcf6b added osize and pixel-by-pixel;
hertzhaft
parents: 432
diff changeset
177 padding: 0px;
432
0e5aebfeb7d4 adapt to changes in JSP
hertzhaft
parents: 428
diff changeset
178 visibility: hidden;
0e5aebfeb7d4 adapt to changes in JSP
hertzhaft
parents: 428
diff changeset
179 z-index: 1000;
0e5aebfeb7d4 adapt to changes in JSP
hertzhaft
parents: 428
diff changeset
180 }
0e5aebfeb7d4 adapt to changes in JSP
hertzhaft
parents: 428
diff changeset
181
439
65219f4fcf6b added osize and pixel-by-pixel;
hertzhaft
parents: 432
diff changeset
182 div#calibration div {
65219f4fcf6b added osize and pixel-by-pixel;
hertzhaft
parents: 432
diff changeset
183 width: 100%;
65219f4fcf6b added osize and pixel-by-pixel;
hertzhaft
parents: 432
diff changeset
184 height: 100%;
65219f4fcf6b added osize and pixel-by-pixel;
hertzhaft
parents: 432
diff changeset
185 margin: 0px;
65219f4fcf6b added osize and pixel-by-pixel;
hertzhaft
parents: 432
diff changeset
186 padding: 0px;
65219f4fcf6b added osize and pixel-by-pixel;
hertzhaft
parents: 432
diff changeset
187 font-family: Verdana, Arial, Helvetica, sans-serif;
65219f4fcf6b added osize and pixel-by-pixel;
hertzhaft
parents: 432
diff changeset
188 text-align: center;
65219f4fcf6b added osize and pixel-by-pixel;
hertzhaft
parents: 432
diff changeset
189 color: lightcyan;
65219f4fcf6b added osize and pixel-by-pixel;
hertzhaft
parents: 432
diff changeset
190 border: 1px solid lightcyan;
65219f4fcf6b added osize and pixel-by-pixel;
hertzhaft
parents: 432
diff changeset
191 background: url('ruler-top.gif') 0px -1px repeat-x;
65219f4fcf6b added osize and pixel-by-pixel;
hertzhaft
parents: 432
diff changeset
192 z-index: 1001;
65219f4fcf6b added osize and pixel-by-pixel;
hertzhaft
parents: 432
diff changeset
193 }
65219f4fcf6b added osize and pixel-by-pixel;
hertzhaft
parents: 432
diff changeset
194
65219f4fcf6b added osize and pixel-by-pixel;
hertzhaft
parents: 432
diff changeset
195 p.cm {
65219f4fcf6b added osize and pixel-by-pixel;
hertzhaft
parents: 432
diff changeset
196 font-weight: bold;
65219f4fcf6b added osize and pixel-by-pixel;
hertzhaft
parents: 432
diff changeset
197 }
65219f4fcf6b added osize and pixel-by-pixel;
hertzhaft
parents: 432
diff changeset
198
454
96bf096d9ab3 ongoing experimental intermediary release
robcast
parents: 452
diff changeset
199 div.popup-menu {
440
85aef29cc1da sizes menu;
hertzhaft
parents: 439
diff changeset
200 position: absolute;
85aef29cc1da sizes menu;
hertzhaft
parents: 439
diff changeset
201 padding: 0px 2px;
85aef29cc1da sizes menu;
hertzhaft
parents: 439
diff changeset
202 font-family: Verdana, Arial, Helvetica, sans-serif;
442
3d37d8eae372 support for sliders started
hertzhaft
parents: 440
diff changeset
203 border: 2px solid lightcyan;
440
85aef29cc1da sizes menu;
hertzhaft
parents: 439
diff changeset
204 background-color: lightgrey;
85aef29cc1da sizes menu;
hertzhaft
parents: 439
diff changeset
205 text-align: center;
85aef29cc1da sizes menu;
hertzhaft
parents: 439
diff changeset
206 visibility: hidden;
85aef29cc1da sizes menu;
hertzhaft
parents: 439
diff changeset
207 z-index: 1005;
85aef29cc1da sizes menu;
hertzhaft
parents: 439
diff changeset
208 }
85aef29cc1da sizes menu;
hertzhaft
parents: 439
diff changeset
209
454
96bf096d9ab3 ongoing experimental intermediary release
robcast
parents: 452
diff changeset
210 div.popup-menu p {
442
3d37d8eae372 support for sliders started
hertzhaft
parents: 440
diff changeset
211 margin: 2px 0px;
3d37d8eae372 support for sliders started
hertzhaft
parents: 440
diff changeset
212 padding: 0px;
440
85aef29cc1da sizes menu;
hertzhaft
parents: 439
diff changeset
213 }
85aef29cc1da sizes menu;
hertzhaft
parents: 439
diff changeset
214
454
96bf096d9ab3 ongoing experimental intermediary release
robcast
parents: 452
diff changeset
215 div.popup-menu p:hover {
442
3d37d8eae372 support for sliders started
hertzhaft
parents: 440
diff changeset
216 background-color: #ffa060;
440
85aef29cc1da sizes menu;
hertzhaft
parents: 439
diff changeset
217 }
85aef29cc1da sizes menu;
hertzhaft
parents: 439
diff changeset
218
454
96bf096d9ab3 ongoing experimental intermediary release
robcast
parents: 452
diff changeset
219 div.popup-menu a {
440
85aef29cc1da sizes menu;
hertzhaft
parents: 439
diff changeset
220 text-decoration: none;
442
3d37d8eae372 support for sliders started
hertzhaft
parents: 440
diff changeset
221 color: black;
440
85aef29cc1da sizes menu;
hertzhaft
parents: 439
diff changeset
222 }
85aef29cc1da sizes menu;
hertzhaft
parents: 439
diff changeset
223
408
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
224 div#about {
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
225 position: absolute;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
226 width: 200px;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
227 top: 100px;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
228 left: 350px;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
229 height: 200px;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
230 padding: 0px 2px;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
231 font-family: Verdana, Arial, Helvetica, sans-serif;
442
3d37d8eae372 support for sliders started
hertzhaft
parents: 440
diff changeset
232 border: 2px solid lightcyan;
408
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
233 background-color: lightgrey;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
234 text-align: center;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
235 visibility: hidden;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
236 z-index: 1000;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
237 }
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
238
432
0e5aebfeb7d4 adapt to changes in JSP
hertzhaft
parents: 428
diff changeset
239 div#about p {
0e5aebfeb7d4 adapt to changes in JSP
hertzhaft
parents: 428
diff changeset
240 margin: 6px;
0e5aebfeb7d4 adapt to changes in JSP
hertzhaft
parents: 428
diff changeset
241 }
0e5aebfeb7d4 adapt to changes in JSP
hertzhaft
parents: 428
diff changeset
242
0e5aebfeb7d4 adapt to changes in JSP
hertzhaft
parents: 428
diff changeset
243
408
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
244 /* DEBUG elements */
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
245
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
246 div#debug {
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
247 position: absolute;
432
0e5aebfeb7d4 adapt to changes in JSP
hertzhaft
parents: 428
diff changeset
248 width: 150px;
0e5aebfeb7d4 adapt to changes in JSP
hertzhaft
parents: 428
diff changeset
249 top: 50px;
0e5aebfeb7d4 adapt to changes in JSP
hertzhaft
parents: 428
diff changeset
250 right: 36px;
0e5aebfeb7d4 adapt to changes in JSP
hertzhaft
parents: 428
diff changeset
251 bottom: 50px;
408
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
252 overflow: auto;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
253 padding: 0px 2px;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
254 font-family: Verdana, Arial, Helvetica, sans-serif;
439
65219f4fcf6b added osize and pixel-by-pixel;
hertzhaft
parents: 432
diff changeset
255 color: lightgreen;
65219f4fcf6b added osize and pixel-by-pixel;
hertzhaft
parents: 432
diff changeset
256 border: 1px dotted black;
415
de7200c3a3e2 support for bird's eye view;
hertzhaft
parents: 408
diff changeset
257 background-color: transparent;
445
6154dfc67615 pageWidth (not yet working in IE)
hertzhaft
parents: 442
diff changeset
258 visibility: hidden;
408
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
259 }
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
260
415
de7200c3a3e2 support for bird's eye view;
hertzhaft
parents: 408
diff changeset
261 div#debug p.debug, h1 {
408
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
262 font-weight: bold;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
263 color: lightcyan;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
264 }
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
265
415
de7200c3a3e2 support for bird's eye view;
hertzhaft
parents: 408
diff changeset
266 div#debug p, h1 {
de7200c3a3e2 support for bird's eye view;
hertzhaft
parents: 408
diff changeset
267 margin: 0px;
de7200c3a3e2 support for bird's eye view;
hertzhaft
parents: 408
diff changeset
268 padding: 2px 0px;
de7200c3a3e2 support for bird's eye view;
hertzhaft
parents: 408
diff changeset
269 font-size: 9px;
439
65219f4fcf6b added osize and pixel-by-pixel;
hertzhaft
parents: 432
diff changeset
270 background-color: black;
415
de7200c3a3e2 support for bird's eye view;
hertzhaft
parents: 408
diff changeset
271 }
408
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
272
439
65219f4fcf6b added osize and pixel-by-pixel;
hertzhaft
parents: 432
diff changeset
273