annotate client/digitallibrary/greyskin/diginew.css @ 410:395db075906d

removed mark divs and images, they are added programmatically now; moved resetParameters() function to baselib.js; moved all initalization code to onload function; added "about" div with slots for version number display; added "overlay" div for better mousemove control (for "zoom area"); added "debug" div and script
author hertzhaft
date Tue, 13 Dec 2005 13:36:28 +0100
parents bd95a59ba0f9
children de7200c3a3e2
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
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
24 /* Images */
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
25
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
26 img.logo {
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
27 border: none;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
28 }
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
29
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
30 img.png {
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
31 border: none;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
32 }
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
33
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
34 img.png:hover {
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
35 background-image: url('corona.png');
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
36 }
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
37
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
38 /* DIVs */
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
39
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
40 div.button {
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
41 padding: 0px;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
42 }
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
43
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
44 div.mark {
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
45 position: absolute;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
46 color: white;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
47 background: url('mark-bg-16.png');
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
48 font-family: Verdana, Arial, Helvetica, sans-serif;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
49 font-weight: bold;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
50 font-size:11px;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
51 height: 16px;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
52 width: 16px;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
53 text-align: center;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
54 z-index: 10;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
55 /* filter: progid:DXImageTransform.Microsoft.AlphaImageLoader(src='mark-bg-16.png') */
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 div#scaler-table {
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
59 padding-right: 40px;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
60 }
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
61
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
62 div#overlay {
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
63 position: absolute;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
64 background: transparent;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
65 border: 2px solid lightcyan;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
66 z-index: 20;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
67 visibility: hidden;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
68 }
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
69
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
70 div#buttons {
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
71 position: absolute;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
72 right: 5px;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
73 top: 5px;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
74 background-color: #E0E0E0;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
75 }
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#dloptions {
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
78 position: absolute;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
79 right: 5px;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
80 top: 5px;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
81 background-color: #E0E0E0;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
82 visibility: hidden;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
83 }
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
84
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
85 div#zoom {
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
86 position: absolute;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
87 border: 2px solid #ffff80;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
88 visibility: hidden;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
89 }
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
90
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
91 div#about {
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
92 position: absolute;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
93 width: 200px;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
94 top: 100px;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
95 left: 350px;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
96 height: 200px;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
97 padding: 0px 2px;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
98 font-family: Verdana, Arial, Helvetica, sans-serif;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
99 border: 3px solid lightcyan;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
100 background-color: lightgrey;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
101 text-align: center;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
102 visibility: hidden;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
103 z-index: 1000;
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 /* DEBUG elements */
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
107
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
108 div#debug {
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
109 position: absolute;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
110 width: 200px;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
111 top: 10px;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
112 left: 10px;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
113 bottom: 10px;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
114 overflow: auto;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
115 padding: 0px 2px;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
116 font-family: Verdana, Arial, Helvetica, sans-serif;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
117 color: lightgreen;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
118 border: 1px dotted lightcyan;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
119 background: transparent;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
120 }
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
121
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
122 p.debug {
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
123 font-weight: bold;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
124 color: lightcyan;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
125 margin: 0px;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
126 padding: 0px;
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
127 }
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
128
bd95a59ba0f9 moved styles to a separate stylesheet
hertzhaft
parents:
diff changeset
129