annotate css/docuviewer.css @ 540:4b43a57ad9b3

more nicer
author casties
date Thu, 16 Aug 2012 19:09:49 +0200
parents 37d122560028
children dbaa7dce60a5
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
1
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
2 body {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
3 background-color: #ebebeb;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
4 margin: 5px;
533
ea70a45594c7 set base font and stuff.
casties
parents: 532
diff changeset
5 font-family: Verdana,Arial,sans-serif;
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
6 font-size: 12px;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
7 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
8
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
9 a:link,
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
10 a:visited {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
11 color: black;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
12 font-weight: bold;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
13 text-decoration: none;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
14 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
15 a:hover {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
16 text-decoration: underline;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
17 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
18
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
19 /*
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
20 * head
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
21 */
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
22 div.page-head div.logo {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
23 display: table-cell;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
24 vertical-align: top;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
25 padding: 5px;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
26 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
27 div.page-head div.title-block {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
28 display: table-cell;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
29 vertical-align: top;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
30 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
31 div.page-head div.title {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
32 max-width: 50em;
535
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
33 background-color: white;
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
34 font-family: Georgia,Times,serif;
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
35 font-size: 14px;
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
36 line-height: 1.3;
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
37 border: 1px solid silver;
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
38 padding: 0.5em;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
39 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
40
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
41 ul.view-switcher {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
42 padding-left: 0;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
43 margin-top: 4px;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
44 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
45 ul.view-switcher li {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
46 list-style-type: none;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
47 display: inline;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
48 background-color: #d0d0d0;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
49 margin-right: 0;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
50 border-bottom: 1px solid silver;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
51 border-left: 1px solid silver;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
52 border-right: 1px solid silver;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
53 border-radius: 0 0 5px 5px;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
54 padding: 5px;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
55 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
56 ul.view-switcher li.sel {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
57 background-color: white;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
58 }
480
50a28442f21c more new template stuff
casties
parents: 21
diff changeset
59
536
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
60 /*
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
61 * body
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
62 */
485
1e51d440f08b more new templates
casties
parents: 484
diff changeset
63 div.page-body {
481
0a0f7f570f90 more new templates
casties
parents: 480
diff changeset
64 display: table-row;
480
50a28442f21c more new template stuff
casties
parents: 21
diff changeset
65 }
510
4fb35343d2e7 more search. nicer css.
casties
parents: 489
diff changeset
66 div.page-body div.col {
483
ab9b34a1c62a more new templates
casties
parents: 482
diff changeset
67 display: table-cell;
484
26bb915c1f07 more new template stuff
casties
parents: 483
diff changeset
68 vertical-align: top;
483
ab9b34a1c62a more new templates
casties
parents: 482
diff changeset
69 }
480
50a28442f21c more new template stuff
casties
parents: 21
diff changeset
70
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
71 /*
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
72 * TOC
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
73 */
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
74 div.toc-container {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
75 display:table-row;
481
0a0f7f570f90 more new templates
casties
parents: 480
diff changeset
76 }
0a0f7f570f90 more new templates
casties
parents: 480
diff changeset
77
535
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
78 div.toc-switcher-col {
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
79 display: table-cell;
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
80 }
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
81 div.toc-switcher {
535
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
82 display: block; /* moz only does relative with block */
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
83 position: relative;
533
ea70a45594c7 set base font and stuff.
casties
parents: 532
diff changeset
84 width: 26.5px; /* for moz and webkit -- don't ask me */
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
85 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
86 div.toc-switcher ul {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
87 position: absolute;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
88 transform: rotate(270deg);
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
89 transform-origin: top left;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
90 -moz-transform: rotate(270deg);
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
91 -moz-transform-origin: top left;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
92 -webkit-transform: rotate(270deg);
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
93 -webkit-transform-origin: top left;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
94 -o-transform: rotate(270deg);
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
95 -o-transform-origin: top left;
535
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
96 left: 7px;
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
97 top: 32em;
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
98 width: 40em;
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
99 padding: 0px;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
100 }
535
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
101
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
102 div.toc-switcher li {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
103 list-style-type: none;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
104 display: inline;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
105 background-color: #d0d0d0;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
106 margin-bottom: 5px;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
107 border-top: 1px solid silver;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
108 border-left: 1px solid silver;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
109 border-right: 1px solid silver;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
110 border-radius: 5px 5px 0 0;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
111 padding: 5px;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
112 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
113 div.toc-switcher li.sel {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
114 background-color: white;
511
551ca1641a5e more cleanup.
casties
parents: 510
diff changeset
115 }
551ca1641a5e more cleanup.
casties
parents: 510
diff changeset
116
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
117 div.tocbody {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
118 display: table-cell;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
119 border: 1px solid silver;
537
ad6f97fd3944 fixes closing tickets concerning tocs.
casties
parents: 536
diff changeset
120 border-radius: 5px;
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
121 padding: 0.5em;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
122 background-color: white;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
123 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
124
537
ad6f97fd3944 fixes closing tickets concerning tocs.
casties
parents: 536
diff changeset
125 div.tocbody h4 {
ad6f97fd3944 fixes closing tickets concerning tocs.
casties
parents: 536
diff changeset
126 margin-top: 0;
ad6f97fd3944 fixes closing tickets concerning tocs.
casties
parents: 536
diff changeset
127 margin-bottom: 0.5em;
ad6f97fd3944 fixes closing tickets concerning tocs.
casties
parents: 536
diff changeset
128 }
540
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
129 div.tocbody div.ruler.top {
537
ad6f97fd3944 fixes closing tickets concerning tocs.
casties
parents: 536
diff changeset
130 text-align: center;
540
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
131 padding-bottom: 0.5em;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
132 }
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
133 div.tocbody div.ruler.bottom {
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
134 clear: both;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
135 text-align: center;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
136 padding-top: 0.5em;
537
ad6f97fd3944 fixes closing tickets concerning tocs.
casties
parents: 536
diff changeset
137 }
ad6f97fd3944 fixes closing tickets concerning tocs.
casties
parents: 536
diff changeset
138
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
139 div.tocbody.text,
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
140 div.tocbody.figures {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
141 max-width: 20em;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
142 background-color: white;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
143 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
144
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
145 div.tocbody.text .toc,
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
146 div.tocbody.figures .toc,
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
147 div.tocbody.concordance .toc {
510
4fb35343d2e7 more search. nicer css.
casties
parents: 489
diff changeset
148 float:left;
4fb35343d2e7 more search. nicer css.
casties
parents: 489
diff changeset
149 clear:right;
4fb35343d2e7 more search. nicer css.
casties
parents: 489
diff changeset
150 }
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
151 div.tocbody.text .toc.float.right,
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
152 div.tocbody.figures .toc.float.right,
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
153 div.tocbody.concordance .toc.float.right {
510
4fb35343d2e7 more search. nicer css.
casties
parents: 489
diff changeset
154 float:right;
4fb35343d2e7 more search. nicer css.
casties
parents: 489
diff changeset
155 }
4fb35343d2e7 more search. nicer css.
casties
parents: 489
diff changeset
156
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
157 div.tocbody table.thumbs td {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
158 text-align: center;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
159 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
160 div.tocbody table.thumbs .thumb {
481
0a0f7f570f90 more new templates
casties
parents: 480
diff changeset
161 padding: 3px;
0a0f7f570f90 more new templates
casties
parents: 480
diff changeset
162 }
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
163 div.tocbody table.thumbs .thumbsel {
481
0a0f7f570f90 more new templates
casties
parents: 480
diff changeset
164 padding: 2px;
535
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
165 border: 1px solid #892B06;
21
0af46e75de3c preliminary version 0.2
casties
parents:
diff changeset
166 }
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
167 div.tocbody table.thumbs .thumbcap {
481
0a0f7f570f90 more new templates
casties
parents: 480
diff changeset
168 color: black;
21
0af46e75de3c preliminary version 0.2
casties
parents:
diff changeset
169 }
511
551ca1641a5e more cleanup.
casties
parents: 510
diff changeset
170
537
ad6f97fd3944 fixes closing tickets concerning tocs.
casties
parents: 536
diff changeset
171 div.tocbody table.concordance {
ad6f97fd3944 fixes closing tickets concerning tocs.
casties
parents: 536
diff changeset
172 border-collapse: collapse;
ad6f97fd3944 fixes closing tickets concerning tocs.
casties
parents: 536
diff changeset
173 }
ad6f97fd3944 fixes closing tickets concerning tocs.
casties
parents: 536
diff changeset
174 div.tocbody table.concordance td {
ad6f97fd3944 fixes closing tickets concerning tocs.
casties
parents: 536
diff changeset
175 border: 1px solid silver;
ad6f97fd3944 fixes closing tickets concerning tocs.
casties
parents: 536
diff changeset
176 text-align: center;
ad6f97fd3944 fixes closing tickets concerning tocs.
casties
parents: 536
diff changeset
177 }
ad6f97fd3944 fixes closing tickets concerning tocs.
casties
parents: 536
diff changeset
178
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
179 /*
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
180 * content
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
181 */
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
182 div.col.main {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
183 padding-left: 5px;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
184 padding-right: 5px;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
185 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
186 div.col.main div.ruler {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
187 margin-top: 4px;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
188 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
189 div.col.main span.ruler-main {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
190 background-color: #d0d0d0;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
191 border-left: 1px solid silver;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
192 border-top: 1px solid silver;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
193 border-right: 1px solid silver;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
194 border-radius: 5px 5px 0 0;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
195 padding: 4px;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
196 }
536
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
197 div.col.main div.ruler.down span.ruler-main {
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
198 border-radius: 0 0 5px 5px;
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
199 }
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
200
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
201 div.col.main div.content {
535
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
202 min-width: 30em;
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
203 background-color: white;
535
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
204 border: 1px solid silver;
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
205 padding: 1em;
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
206 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
207 div.col.main div.content a:link,
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
208 div.col.main div.content a:visited {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
209 font-weight: inherit;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
210 color: #892B06;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
211 }
511
551ca1641a5e more cleanup.
casties
parents: 510
diff changeset
212 span.hit.highlight {
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
213 background-color: lime;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
214 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
215
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
216 /*
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
217 * buttons
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
218 */
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
219 div.col.buttons div.options {
535
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
220 background-color: white;
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
221 border: 1px solid silver;
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
222 border-radius: 5px;
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
223 padding: 0.5em;
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
224 margin-bottom: 5px;
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
225 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
226 div.col.buttons h4 {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
227 margin-top: 0;
537
ad6f97fd3944 fixes closing tickets concerning tocs.
casties
parents: 536
diff changeset
228 margin-bottom: 0.5em;
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
229 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
230 div.col.buttons ul {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
231 list-style-type: none;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
232 padding-left: 0;
537
ad6f97fd3944 fixes closing tickets concerning tocs.
casties
parents: 536
diff changeset
233 margin-top: 0;
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
234 margin-bottom: 0.5em;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
235 }
538
dbf25bd05fc6 digilib buttons get icons. pid on index page.
casties
parents: 537
diff changeset
236 div.options.digilib li img {
dbf25bd05fc6 digilib buttons get icons. pid on index page.
casties
parents: 537
diff changeset
237 vertical-align: middle;
dbf25bd05fc6 digilib buttons get icons. pid on index page.
casties
parents: 537
diff changeset
238 }
dbf25bd05fc6 digilib buttons get icons. pid on index page.
casties
parents: 537
diff changeset
239
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
240 /*
540
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
241 * text page
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
242 */
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
243 div.col.main div.content.text {
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
244 font-family: Junicode,Gentium,Georgia,serif;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
245 font-size: 14px;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
246 line-height: 1.3;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
247 }
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
248
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
249 /*
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
250 * search results
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
251 */
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
252 div.col.results {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
253 max-width: 20em;
540
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
254 padding-right: 5px;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
255 }
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
256 div.col.results div.result {
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
257 border: 1px solid silver;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
258 border-radius: 5px;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
259 padding: 0.5em;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
260 }
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
261 div.col.results h4 {
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
262 margin-top: 0;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
263 margin-bottom: 0.5em;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
264 }
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
265 div.col.results div.ruler {
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
266 text-align: center;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
267 margin-bottom: 0.5em;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
268 }
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
269 div.col.results div.query {
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
270 margin-bottom: 0.5em;
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
271 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
272
535
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
273 /*
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
274 * index page
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
275 */
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
276 div.index-image {
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
277 padding-left: 1em;
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
278 padding-right: 1em;
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
279 padding-bottom: 1em;
536
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
280 padding-top: 1em;
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
281 }
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
282 div.index-info {
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
283 padding-top: 1em;
535
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
284 }
539
37d122560028 more nicer
casties
parents: 538
diff changeset
285 div.index-info h2 {
37d122560028 more nicer
casties
parents: 538
diff changeset
286 margin-top: 0.5em;
37d122560028 more nicer
casties
parents: 538
diff changeset
287 margin-bottom: 0.5em;
37d122560028 more nicer
casties
parents: 538
diff changeset
288 }
540
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
289 div.index-info td {
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
290 vertical-align: top;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
291 }
535
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
292 div.index-info td.type {
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
293 font-weight: bold;
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
294 }
536
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
295 div.index-info td.content {
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
296 max-width: 30em;
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
297 }
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
298 div.index-actions {
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
299 float: left;
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
300 border: 1px solid silver;
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
301 padding: 1em;
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
302 margin-top: 2em;
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
303 }
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
304 div.index-actions div.action {
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
305 margin-bottom: 1em;
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
306 }
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
307
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
308 /*
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
309 * image page
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
310 */
540
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
311 div.col.main div.content.images {
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
312 background-color: inherit;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
313 padding: 0;
536
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
314 }
540
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
315 div.col.main div.content.images table {
537
ad6f97fd3944 fixes closing tickets concerning tocs.
casties
parents: 536
diff changeset
316 border-collapse: collapse; /* for tight digilib */
536
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
317 }
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
318
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
319 /*
540
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
320 * xml page
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
321 */
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
322 div.col.main div.content.xml {
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
323 font-family: Monaco,Courier,monospace;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
324 font-size: 12px;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
325 }
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
326 div.col.main div.content.xml div.pageHeaderTitle {
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
327 display: none;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
328 }
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
329
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
330
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
331
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
332 /*
536
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
333 * thumbnail overview
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
334 */
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
335 div.col.main div.content-thumbs {
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
336 border: 1px solid silver;
540
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
337 padding: 0.5em;
536
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
338 }
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
339 div.col.main table.thumbs td {
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
340 text-align: center;
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
341 }