Mercurial > hg > documentViewer

annotate css/docuviewer.css @ 553:2fe04b61ed95

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
make sure unicodify and utf8ify return str and unicode.
author casties
date Mon, 24 Sep 2012 16:24:22 +0200
parents 6cdc31e9ed8e
children 1b483194901c
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 }
542
dbaa7dce60a5 nicer index page.
casties
parents: 540
diff changeset
236 div.col.buttons ul.list {
dbaa7dce60a5 nicer index page.
casties
parents: 540
diff changeset
237 list-style-type: inherit;
dbaa7dce60a5 nicer index page.
casties
parents: 540
diff changeset
238 padding-left: inherit;
dbaa7dce60a5 nicer index page.
casties
parents: 540
diff changeset
239 }
dbaa7dce60a5 nicer index page.
casties
parents: 540
diff changeset
240 div.col.buttons ul.list li {
dbaa7dce60a5 nicer index page.
casties
parents: 540
diff changeset
241 margin-left: 1em;
dbaa7dce60a5 nicer index page.
casties
parents: 540
diff changeset
242 }
538
dbf25bd05fc6 digilib buttons get icons. pid on index page.
casties
parents: 537
diff changeset
243 div.options.digilib li img {
dbf25bd05fc6 digilib buttons get icons. pid on index page.
casties
parents: 537
diff changeset
244 vertical-align: middle;
dbf25bd05fc6 digilib buttons get icons. pid on index page.
casties
parents: 537
diff changeset
245 }
dbf25bd05fc6 digilib buttons get icons. pid on index page.
casties
parents: 537
diff changeset
246
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
247 /*
540
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
248 * text page
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
249 */
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
250 div.col.main div.content.text {
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
251 font-family: Junicode,Gentium,Georgia,serif;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
252 font-size: 14px;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
253 line-height: 1.3;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
254 }
543
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
255 div.col.main div.content.text div.emptyPage {
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
256 font-family: Verdana,Arial,sans-serif;
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
257 font-size: 12px;
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
258 }
540
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
259 /*
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
260 * search results
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
261 */
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
262 div.col.results {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
263 max-width: 20em;
540
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
264 padding-right: 5px;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
265 }
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
266 div.col.results div.result {
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
267 border: 1px solid silver;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
268 border-radius: 5px;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
269 padding: 0.5em;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
270 }
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
271 div.col.results h4 {
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
272 margin-top: 0;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
273 margin-bottom: 0.5em;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
274 }
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
275 div.col.results div.ruler {
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
276 text-align: center;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
277 margin-bottom: 0.5em;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
278 }
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
279 div.col.results div.query {
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
280 margin-bottom: 0.5em;
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
281 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
282
535
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
283 /*
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
284 * index page
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
285 */
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
286 div.index-image {
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
287 padding-left: 1em;
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
288 padding-right: 1em;
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
289 padding-bottom: 1em;
536
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
290 padding-top: 1em;
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
291 }
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
292 div.index-info {
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
293 padding-top: 1em;
535
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
294 }
539
37d122560028 more nicer
casties
parents: 538
diff changeset
295 div.index-info h2 {
37d122560028 more nicer
casties
parents: 538
diff changeset
296 margin-top: 0.5em;
37d122560028 more nicer
casties
parents: 538
diff changeset
297 margin-bottom: 0.5em;
37d122560028 more nicer
casties
parents: 538
diff changeset
298 }
540
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
299 div.index-info td {
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
300 vertical-align: top;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
301 }
535
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
302 div.index-info td.type {
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
303 font-weight: bold;
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
304 }
536
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
305 div.index-info td.content {
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
306 max-width: 30em;
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 /*
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
310 * image page
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
311 */
540
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
312 div.col.main div.content.images {
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
313 background-color: inherit;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
314 padding: 0;
536
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
315 }
540
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
316 div.col.main div.content.images table {
537
ad6f97fd3944 fixes closing tickets concerning tocs.
casties
parents: 536
diff changeset
317 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
318 }
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
319
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
320 /*
540
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
321 * xml page
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
322 */
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
323 div.col.main div.content.xml {
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
324 font-family: Monaco,Courier,monospace;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
325 font-size: 12px;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
326 }
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
327 div.col.main div.content.xml div.pageHeaderTitle {
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
328 display: none;
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 /*
536
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
332 * thumbnail overview
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
333 */
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
334 div.col.main div.content-thumbs {
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
335 border: 1px solid silver;
540
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
336 padding: 0.5em;
536
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
337 }
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
338 div.col.main table.thumbs td {
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
339 text-align: center;
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
340 }
543
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
341
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
342 /*
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
343 * footer
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
344 */
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
345 div.footer {
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
346 max-width: 68em;
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
347 margin-top: 1em;
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
348 border-top: 1px solid silver;
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
349 margin-left: 28px;
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
350 margin-right: 28px;
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
351 text-align: center;
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
352 }
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
353 div.footer div.content {
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
354 font-size: 10px;
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
355 color: grey;
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
356 }
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
357 div.footer div.content a:link,
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
358 div.footer div.content a:visited {
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
359 color: grey;
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
360 }