Mercurial > hg > documentViewer

annotate css/docuviewer.css @ 635:8d460ddb45b7 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
update digilib dirInfo-xml path.
author casties
date Fri, 06 May 2016 18:59:35 +0200
parents 4a75a760def2
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
567
8b1e20bf300d more new textserver
casties
parents: 565
diff changeset
1 /*
8b1e20bf300d more new textserver
casties
parents: 565
diff changeset
2 * Documentviewer style sheet.
8b1e20bf300d more new textserver
casties
parents: 565
diff changeset
3 *
8b1e20bf300d more new textserver
casties
parents: 565
diff changeset
4 * Robert Casties 2012.
8b1e20bf300d more new textserver
casties
parents: 565
diff changeset
5 */
632
4a75a760def2 dictionary handling added
Dirk Wintergruen <dwinter@mpiwg-berlin.mpg.de>
parents: 629
diff changeset
6
4a75a760def2 dictionary handling added
Dirk Wintergruen <dwinter@mpiwg-berlin.mpg.de>
parents: 629
diff changeset
7
4a75a760def2 dictionary handling added
Dirk Wintergruen <dwinter@mpiwg-berlin.mpg.de>
parents: 629
diff changeset
8 .iliese {
4a75a760def2 dictionary handling added
Dirk Wintergruen <dwinter@mpiwg-berlin.mpg.de>
parents: 629
diff changeset
9 background-color: lime;
4a75a760def2 dictionary handling added
Dirk Wintergruen <dwinter@mpiwg-berlin.mpg.de>
parents: 629
diff changeset
10 }
4a75a760def2 dictionary handling added
Dirk Wintergruen <dwinter@mpiwg-berlin.mpg.de>
parents: 629
diff changeset
11
4a75a760def2 dictionary handling added
Dirk Wintergruen <dwinter@mpiwg-berlin.mpg.de>
parents: 629
diff changeset
12
4a75a760def2 dictionary handling added
Dirk Wintergruen <dwinter@mpiwg-berlin.mpg.de>
parents: 629
diff changeset
13
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
14 body {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
15 background-color: #ebebeb;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
16 margin: 5px;
533
ea70a45594c7 set base font and stuff.
casties
parents: 532
diff changeset
17 font-family: Verdana,Arial,sans-serif;
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
18 font-size: 12px;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
19 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
20
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
21 a:link,
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
22 a:visited {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
23 color: black;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
24 font-weight: bold;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
25 text-decoration: none;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
26 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
27 a:hover {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
28 text-decoration: underline;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
29 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
30
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
31 /*
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
32 * head
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
33 */
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
34 div.page-head div.logo {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
35 display: table-cell;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
36 vertical-align: top;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
37 padding: 5px;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
38 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
39 div.page-head div.title-block {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
40 display: table-cell;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
41 vertical-align: top;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
42 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
43 div.page-head div.title {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
44 max-width: 50em;
535
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
45 background-color: white;
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
46 font-family: Georgia,Times,serif;
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
47 font-size: 14px;
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
48 line-height: 1.3;
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
49 border: 1px solid silver;
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
50 padding: 0.5em;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
51 }
608
0c6056271654 show is-part-of relation in header.
casties
parents: 607
diff changeset
52 div.page-head div.title.part-of {
0c6056271654 show is-part-of relation in header.
casties
parents: 607
diff changeset
53 border-top: none;
0c6056271654 show is-part-of relation in header.
casties
parents: 607
diff changeset
54 }
532
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 {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
57 padding-left: 0;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
58 margin-top: 4px;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
59 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
60 ul.view-switcher li {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
61 list-style-type: none;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
62 display: inline;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
63 background-color: #d0d0d0;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
64 margin-right: 0;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
65 border-bottom: 1px solid silver;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
66 border-left: 1px solid silver;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
67 border-right: 1px solid silver;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
68 border-radius: 0 0 5px 5px;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
69 padding: 5px;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
70 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
71 ul.view-switcher li.sel {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
72 background-color: white;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
73 }
480
50a28442f21c more new template stuff
casties
parents: 21
diff changeset
74
536
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
75 /*
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
76 * body
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
77 */
485
1e51d440f08b more new templates
casties
parents: 484
diff changeset
78 div.page-body {
481
0a0f7f570f90 more new templates
casties
parents: 480
diff changeset
79 display: table-row;
480
50a28442f21c more new template stuff
casties
parents: 21
diff changeset
80 }
510
4fb35343d2e7 more search. nicer css.
casties
parents: 489
diff changeset
81 div.page-body div.col {
483
ab9b34a1c62a more new templates
casties
parents: 482
diff changeset
82 display: table-cell;
484
26bb915c1f07 more new template stuff
casties
parents: 483
diff changeset
83 vertical-align: top;
483
ab9b34a1c62a more new templates
casties
parents: 482
diff changeset
84 }
480
50a28442f21c more new template stuff
casties
parents: 21
diff changeset
85
629
e36bf3226fde text image viewer eingecheckt
dwinter
parents: 615
diff changeset
86
e36bf3226fde text image viewer eingecheckt
dwinter
parents: 615
diff changeset
87
e36bf3226fde text image viewer eingecheckt
dwinter
parents: 615
diff changeset
88 /*
e36bf3226fde text image viewer eingecheckt
dwinter
parents: 615
diff changeset
89 * two colomn stype for image - text
e36bf3226fde text image viewer eingecheckt
dwinter
parents: 615
diff changeset
90 */
e36bf3226fde text image viewer eingecheckt
dwinter
parents: 615
diff changeset
91 div.two-column {
e36bf3226fde text image viewer eingecheckt
dwinter
parents: 615
diff changeset
92 display: table;
e36bf3226fde text image viewer eingecheckt
dwinter
parents: 615
diff changeset
93 }
e36bf3226fde text image viewer eingecheckt
dwinter
parents: 615
diff changeset
94
e36bf3226fde text image viewer eingecheckt
dwinter
parents: 615
diff changeset
95 div.two-column-row {
e36bf3226fde text image viewer eingecheckt
dwinter
parents: 615
diff changeset
96 display: table-row;
e36bf3226fde text image viewer eingecheckt
dwinter
parents: 615
diff changeset
97 }
e36bf3226fde text image viewer eingecheckt
dwinter
parents: 615
diff changeset
98
e36bf3226fde text image viewer eingecheckt
dwinter
parents: 615
diff changeset
99 div.two-column-left {
e36bf3226fde text image viewer eingecheckt
dwinter
parents: 615
diff changeset
100 display: table-cell;
e36bf3226fde text image viewer eingecheckt
dwinter
parents: 615
diff changeset
101 vertical-align: top;
e36bf3226fde text image viewer eingecheckt
dwinter
parents: 615
diff changeset
102 }
e36bf3226fde text image viewer eingecheckt
dwinter
parents: 615
diff changeset
103
e36bf3226fde text image viewer eingecheckt
dwinter
parents: 615
diff changeset
104 div.two-column-right {
e36bf3226fde text image viewer eingecheckt
dwinter
parents: 615
diff changeset
105 display: table-cell;
e36bf3226fde text image viewer eingecheckt
dwinter
parents: 615
diff changeset
106 vertical-align: top;
e36bf3226fde text image viewer eingecheckt
dwinter
parents: 615
diff changeset
107 }
e36bf3226fde text image viewer eingecheckt
dwinter
parents: 615
diff changeset
108
e36bf3226fde text image viewer eingecheckt
dwinter
parents: 615
diff changeset
109
e36bf3226fde text image viewer eingecheckt
dwinter
parents: 615
diff changeset
110
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
111 /*
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
112 * TOC
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
113 */
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
114 div.toc-container {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
115 display:table-row;
481
0a0f7f570f90 more new templates
casties
parents: 480
diff changeset
116 }
0a0f7f570f90 more new templates
casties
parents: 480
diff changeset
117
535
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
118 div.toc-switcher-col {
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
119 display: table-cell;
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
120 }
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
121 div.toc-switcher {
535
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
122 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
123 position: relative;
533
ea70a45594c7 set base font and stuff.
casties
parents: 532
diff changeset
124 width: 26.5px; /* for moz and webkit -- don't ask me */
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
125 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
126 div.toc-switcher ul {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
127 position: absolute;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
128 transform: rotate(270deg);
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
129 transform-origin: top left;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
130 -moz-transform: rotate(270deg);
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
131 -moz-transform-origin: top left;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
132 -webkit-transform: rotate(270deg);
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
133 -webkit-transform-origin: top left;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
134 -o-transform: rotate(270deg);
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
135 -o-transform-origin: top left;
535
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
136 left: 7px;
609
7962e6891d99 works with new notes and notesHandwritten.
casties
parents: 608
diff changeset
137 top: 42em;
7962e6891d99 works with new notes and notesHandwritten.
casties
parents: 608
diff changeset
138 width: 45em;
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
139 padding: 0px;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
140 }
535
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
141
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
142 div.toc-switcher li {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
143 list-style-type: none;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
144 display: inline;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
145 background-color: #d0d0d0;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
146 margin-bottom: 5px;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
147 border-top: 1px solid silver;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
148 border-left: 1px solid silver;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
149 border-right: 1px solid silver;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
150 border-radius: 5px 5px 0 0;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
151 padding: 5px;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
152 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
153 div.toc-switcher li.sel {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
154 background-color: white;
511
551ca1641a5e more cleanup.
casties
parents: 510
diff changeset
155 }
551ca1641a5e more cleanup.
casties
parents: 510
diff changeset
156
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
157 div.tocbody {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
158 display: table-cell;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
159 border: 1px solid silver;
537
ad6f97fd3944 fixes closing tickets concerning tocs.
casties
parents: 536
diff changeset
160 border-radius: 5px;
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
161 padding: 0.5em;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
162 background-color: white;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
163 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
164
537
ad6f97fd3944 fixes closing tickets concerning tocs.
casties
parents: 536
diff changeset
165 div.tocbody h4 {
ad6f97fd3944 fixes closing tickets concerning tocs.
casties
parents: 536
diff changeset
166 margin-top: 0;
ad6f97fd3944 fixes closing tickets concerning tocs.
casties
parents: 536
diff changeset
167 margin-bottom: 0.5em;
ad6f97fd3944 fixes closing tickets concerning tocs.
casties
parents: 536
diff changeset
168 }
540
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
169 div.tocbody div.ruler.top {
537
ad6f97fd3944 fixes closing tickets concerning tocs.
casties
parents: 536
diff changeset
170 text-align: center;
540
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
171 padding-bottom: 0.5em;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
172 }
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
173 div.tocbody div.ruler.bottom {
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
174 clear: both;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
175 text-align: center;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
176 padding-top: 0.5em;
537
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 div.tocbody.text,
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
180 div.tocbody.figures {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
181 max-width: 20em;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
182 background-color: white;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
183 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
184
568
694935574177 more new MpiwgXmlTextServer.
casties
parents: 567
diff changeset
185 div.tocbody.text .toc.name,
694935574177 more new MpiwgXmlTextServer.
casties
parents: 567
diff changeset
186 div.tocbody.figures .toc.name,
694935574177 more new MpiwgXmlTextServer.
casties
parents: 567
diff changeset
187 div.tocbody.concordance .toc.name {
510
4fb35343d2e7 more search. nicer css.
casties
parents: 489
diff changeset
188 float:left;
4fb35343d2e7 more search. nicer css.
casties
parents: 489
diff changeset
189 clear:right;
568
694935574177 more new MpiwgXmlTextServer.
casties
parents: 567
diff changeset
190 margin-right: 1em;
510
4fb35343d2e7 more search. nicer css.
casties
parents: 489
diff changeset
191 }
568
694935574177 more new MpiwgXmlTextServer.
casties
parents: 567
diff changeset
192 div.tocbody.text .toc.page,
694935574177 more new MpiwgXmlTextServer.
casties
parents: 567
diff changeset
193 div.tocbody.figures .toc.page,
694935574177 more new MpiwgXmlTextServer.
casties
parents: 567
diff changeset
194 div.tocbody.concordance .toc.page {
510
4fb35343d2e7 more search. nicer css.
casties
parents: 489
diff changeset
195 float:right;
4fb35343d2e7 more search. nicer css.
casties
parents: 489
diff changeset
196 }
4fb35343d2e7 more search. nicer css.
casties
parents: 489
diff changeset
197
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
198 div.tocbody table.thumbs td {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
199 text-align: center;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
200 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
201 div.tocbody table.thumbs .thumb {
481
0a0f7f570f90 more new templates
casties
parents: 480
diff changeset
202 padding: 3px;
0a0f7f570f90 more new templates
casties
parents: 480
diff changeset
203 }
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
204 div.tocbody table.thumbs .thumbsel {
481
0a0f7f570f90 more new templates
casties
parents: 480
diff changeset
205 padding: 2px;
535
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
206 border: 1px solid #892B06;
21
0af46e75de3c preliminary version 0.2
casties
parents:
diff changeset
207 }
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
208 div.tocbody table.thumbs .thumbcap {
481
0a0f7f570f90 more new templates
casties
parents: 480
diff changeset
209 color: black;
21
0af46e75de3c preliminary version 0.2
casties
parents:
diff changeset
210 }
607
cb5a9c4f5e3a CLOSED - # 268: display of subdocuments
casties
parents: 597
diff changeset
211 div.tocbody table.thumbs a.outside {
cb5a9c4f5e3a CLOSED - # 268: display of subdocuments
casties
parents: 597
diff changeset
212 font-weight: normal;
cb5a9c4f5e3a CLOSED - # 268: display of subdocuments
casties
parents: 597
diff changeset
213 }
511
551ca1641a5e more cleanup.
casties
parents: 510
diff changeset
214
537
ad6f97fd3944 fixes closing tickets concerning tocs.
casties
parents: 536
diff changeset
215 div.tocbody table.concordance {
ad6f97fd3944 fixes closing tickets concerning tocs.
casties
parents: 536
diff changeset
216 border-collapse: collapse;
ad6f97fd3944 fixes closing tickets concerning tocs.
casties
parents: 536
diff changeset
217 }
ad6f97fd3944 fixes closing tickets concerning tocs.
casties
parents: 536
diff changeset
218 div.tocbody table.concordance td {
ad6f97fd3944 fixes closing tickets concerning tocs.
casties
parents: 536
diff changeset
219 border: 1px solid silver;
ad6f97fd3944 fixes closing tickets concerning tocs.
casties
parents: 536
diff changeset
220 text-align: center;
ad6f97fd3944 fixes closing tickets concerning tocs.
casties
parents: 536
diff changeset
221 }
ad6f97fd3944 fixes closing tickets concerning tocs.
casties
parents: 536
diff changeset
222
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
223 /*
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
224 * content
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
225 */
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
226 div.col.main {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
227 padding-left: 5px;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
228 padding-right: 5px;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
229 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
230 div.col.main div.ruler {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
231 margin-top: 4px;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
232 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
233 div.col.main span.ruler-main {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
234 background-color: #d0d0d0;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
235 border-left: 1px solid silver;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
236 border-top: 1px solid silver;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
237 border-right: 1px solid silver;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
238 border-radius: 5px 5px 0 0;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
239 padding: 4px;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
240 }
536
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
241 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
242 border-radius: 0 0 5px 5px;
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
243 }
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
244
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
245 div.col.main div.content {
535
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
246 min-width: 30em;
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
247 background-color: white;
535
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
248 border: 1px solid silver;
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
249 padding: 1em;
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
250 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
251 div.col.main div.content a:link,
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
252 div.col.main div.content a:visited {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
253 font-weight: inherit;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
254 color: #892B06;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
255 }
511
551ca1641a5e more cleanup.
casties
parents: 510
diff changeset
256 span.hit.highlight {
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
257 background-color: lime;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
258 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
259
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
260 /*
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
261 * buttons
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
262 */
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
263 div.col.buttons div.options {
535
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
264 background-color: white;
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
265 border: 1px solid silver;
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
266 border-radius: 5px;
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
267 padding: 0.5em;
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
268 margin-bottom: 5px;
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
269 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
270 div.col.buttons h4 {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
271 margin-top: 0;
537
ad6f97fd3944 fixes closing tickets concerning tocs.
casties
parents: 536
diff changeset
272 margin-bottom: 0.5em;
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
273 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
274 div.col.buttons ul {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
275 list-style-type: none;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
276 padding-left: 0;
537
ad6f97fd3944 fixes closing tickets concerning tocs.
casties
parents: 536
diff changeset
277 margin-top: 0;
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
278 margin-bottom: 0.5em;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
279 }
542
dbaa7dce60a5 nicer index page.
casties
parents: 540
diff changeset
280 div.col.buttons ul.list {
dbaa7dce60a5 nicer index page.
casties
parents: 540
diff changeset
281 list-style-type: inherit;
dbaa7dce60a5 nicer index page.
casties
parents: 540
diff changeset
282 padding-left: inherit;
dbaa7dce60a5 nicer index page.
casties
parents: 540
diff changeset
283 }
dbaa7dce60a5 nicer index page.
casties
parents: 540
diff changeset
284 div.col.buttons ul.list li {
dbaa7dce60a5 nicer index page.
casties
parents: 540
diff changeset
285 margin-left: 1em;
dbaa7dce60a5 nicer index page.
casties
parents: 540
diff changeset
286 }
538
dbf25bd05fc6 digilib buttons get icons. pid on index page.
casties
parents: 537
diff changeset
287 div.options.digilib li img {
dbf25bd05fc6 digilib buttons get icons. pid on index page.
casties
parents: 537
diff changeset
288 vertical-align: middle;
dbf25bd05fc6 digilib buttons get icons. pid on index page.
casties
parents: 537
diff changeset
289 }
dbf25bd05fc6 digilib buttons get icons. pid on index page.
casties
parents: 537
diff changeset
290
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
291 /*
540
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
292 * text page
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
293 */
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
294 div.col.main div.content.text {
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
295 font-family: Junicode,Gentium,Georgia,serif;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
296 font-size: 14px;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
297 line-height: 1.3;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
298 }
543
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
299 div.col.main div.content.text div.emptyPage {
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
300 font-family: Verdana,Arial,sans-serif;
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
301 font-size: 12px;
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
302 }
565
1b483194901c more new MpiwgXmlTextServer.
casties
parents: 543
diff changeset
303 div.col.main div.content.text .bf {
1b483194901c more new MpiwgXmlTextServer.
casties
parents: 543
diff changeset
304 font-weight: bold;
1b483194901c more new MpiwgXmlTextServer.
casties
parents: 543
diff changeset
305 }
1b483194901c more new MpiwgXmlTextServer.
casties
parents: 543
diff changeset
306 div.col.main div.content.text .head {
1b483194901c more new MpiwgXmlTextServer.
casties
parents: 543
diff changeset
307 margin-top: 0.5em;
1b483194901c more new MpiwgXmlTextServer.
casties
parents: 543
diff changeset
308 margin-bottom: 0.25em;
1b483194901c more new MpiwgXmlTextServer.
casties
parents: 543
diff changeset
309 }
567
8b1e20bf300d more new textserver
casties
parents: 565
diff changeset
310 /* page break */
8b1e20bf300d more new textserver
casties
parents: 565
diff changeset
311 div.col.main div.content.text span.pb span.n,
8b1e20bf300d more new textserver
casties
parents: 565
diff changeset
312 div.col.main div.content.text span.pb span.o {
8b1e20bf300d more new textserver
casties
parents: 565
diff changeset
313 display: none;
8b1e20bf300d more new textserver
casties
parents: 565
diff changeset
314 }
568
694935574177 more new MpiwgXmlTextServer.
casties
parents: 567
diff changeset
315 /* running head */
567
8b1e20bf300d more new textserver
casties
parents: 565
diff changeset
316 div.col.main div.content.text span.pb span.rhead {
568
694935574177 more new MpiwgXmlTextServer.
casties
parents: 567
diff changeset
317 display: block;
565
1b483194901c more new MpiwgXmlTextServer.
casties
parents: 543
diff changeset
318 text-align: center;
1b483194901c more new MpiwgXmlTextServer.
casties
parents: 543
diff changeset
319 margin-bottom: 1em;
1b483194901c more new MpiwgXmlTextServer.
casties
parents: 543
diff changeset
320 }
573
3b53975be0c8 display of notes
casties
parents: 568
diff changeset
321 /* note */
576
b2c7e272e075 new w-tag solution with etree. search works now.
casties
parents: 575
diff changeset
322 div.col.main div.content.text span.note span.noteBody {
611
e18ef3786753 CSS for new footnotes.
casties
parents: 609
diff changeset
323 /* noteBody as block */
573
3b53975be0c8 display of notes
casties
parents: 568
diff changeset
324 display: block;
3b53975be0c8 display of notes
casties
parents: 568
diff changeset
325 /* float: left; */
3b53975be0c8 display of notes
casties
parents: 568
diff changeset
326 margin-top: 0.5em;
3b53975be0c8 display of notes
casties
parents: 568
diff changeset
327 margin-bottom: 0.5em;
3b53975be0c8 display of notes
casties
parents: 568
diff changeset
328 padding: 5px;
3b53975be0c8 display of notes
casties
parents: 568
diff changeset
329 border: 1px dashed silver;
3b53975be0c8 display of notes
casties
parents: 568
diff changeset
330 }
3b53975be0c8 display of notes
casties
parents: 568
diff changeset
331 div.col.main div.content.text span.note span.noteSign {
611
e18ef3786753 CSS for new footnotes.
casties
parents: 609
diff changeset
332 /* noteSign invisible */
576
b2c7e272e075 new w-tag solution with etree. search works now.
casties
parents: 575
diff changeset
333 display: none;
611
e18ef3786753 CSS for new footnotes.
casties
parents: 609
diff changeset
334 }
e18ef3786753 CSS for new footnotes.
casties
parents: 609
diff changeset
335 div.col.main div.content.text span.note.right span.noteBody {
e18ef3786753 CSS for new footnotes.
casties
parents: 609
diff changeset
336 text-align: right;
e18ef3786753 CSS for new footnotes.
casties
parents: 609
diff changeset
337 }
e18ef3786753 CSS for new footnotes.
casties
parents: 609
diff changeset
338 /* footnote */
e18ef3786753 CSS for new footnotes.
casties
parents: 609
diff changeset
339 div.col.main div.content.text div.notes.foot {
e18ef3786753 CSS for new footnotes.
casties
parents: 609
diff changeset
340 /* footnote separator */
e18ef3786753 CSS for new footnotes.
casties
parents: 609
diff changeset
341 border-top: 1px solid silver;
e18ef3786753 CSS for new footnotes.
casties
parents: 609
diff changeset
342 }
e18ef3786753 CSS for new footnotes.
casties
parents: 609
diff changeset
343 div.col.main div.content.text div.notes.foot span.note.foot {
e18ef3786753 CSS for new footnotes.
casties
parents: 609
diff changeset
344 /* footnote with sign as block */
e18ef3786753 CSS for new footnotes.
casties
parents: 609
diff changeset
345 display: block;
e18ef3786753 CSS for new footnotes.
casties
parents: 609
diff changeset
346 /* float: left; */
e18ef3786753 CSS for new footnotes.
casties
parents: 609
diff changeset
347 margin-top: 0.5em;
e18ef3786753 CSS for new footnotes.
casties
parents: 609
diff changeset
348 margin-bottom: 0.5em;
e18ef3786753 CSS for new footnotes.
casties
parents: 609
diff changeset
349 padding: 5px;
e18ef3786753 CSS for new footnotes.
casties
parents: 609
diff changeset
350 }
e18ef3786753 CSS for new footnotes.
casties
parents: 609
diff changeset
351 div.col.main div.content.text div.notes.foot span.note.foot span.noteBody {
e18ef3786753 CSS for new footnotes.
casties
parents: 609
diff changeset
352 /* footnote body not block */
e18ef3786753 CSS for new footnotes.
casties
parents: 609
diff changeset
353 display: inline;
e18ef3786753 CSS for new footnotes.
casties
parents: 609
diff changeset
354 margin: 0;
e18ef3786753 CSS for new footnotes.
casties
parents: 609
diff changeset
355 border: 0;
e18ef3786753 CSS for new footnotes.
casties
parents: 609
diff changeset
356 }
e18ef3786753 CSS for new footnotes.
casties
parents: 609
diff changeset
357 div.col.main div.content.text span.note.foot span.noteSign {
e18ef3786753 CSS for new footnotes.
casties
parents: 609
diff changeset
358 /* footnote sign superscript */
e18ef3786753 CSS for new footnotes.
casties
parents: 609
diff changeset
359 display: inline;
e18ef3786753 CSS for new footnotes.
casties
parents: 609
diff changeset
360 font-size: 70%;
e18ef3786753 CSS for new footnotes.
casties
parents: 609
diff changeset
361 vertical-align: super;
e18ef3786753 CSS for new footnotes.
casties
parents: 609
diff changeset
362 }
e18ef3786753 CSS for new footnotes.
casties
parents: 609
diff changeset
363 div.col.main div.content.text div.notes.foot span.note.foot span.noteBody span.noteSign {
e18ef3786753 CSS for new footnotes.
casties
parents: 609
diff changeset
364 /* noteSign in noteBody invisible */
e18ef3786753 CSS for new footnotes.
casties
parents: 609
diff changeset
365 display: none;
573
3b53975be0c8 display of notes
casties
parents: 568
diff changeset
366 }
3b53975be0c8 display of notes
casties
parents: 568
diff changeset
367 /* figure */
565
1b483194901c more new MpiwgXmlTextServer.
casties
parents: 543
diff changeset
368 div.col.main div.content.text span.figure {
1b483194901c more new MpiwgXmlTextServer.
casties
parents: 543
diff changeset
369 display: block;
1b483194901c more new MpiwgXmlTextServer.
casties
parents: 543
diff changeset
370 width: 200px;
1b483194901c more new MpiwgXmlTextServer.
casties
parents: 543
diff changeset
371 margin-top: 0.5em;
1b483194901c more new MpiwgXmlTextServer.
casties
parents: 543
diff changeset
372 margin-bottom: 0.5em;
1b483194901c more new MpiwgXmlTextServer.
casties
parents: 543
diff changeset
373 padding: 5px;
1b483194901c more new MpiwgXmlTextServer.
casties
parents: 543
diff changeset
374 border: 1px dashed silver;
1b483194901c more new MpiwgXmlTextServer.
casties
parents: 543
diff changeset
375 /* float: right; */
1b483194901c more new MpiwgXmlTextServer.
casties
parents: 543
diff changeset
376 /* text-align: center; */
1b483194901c more new MpiwgXmlTextServer.
casties
parents: 543
diff changeset
377 }
1b483194901c more new MpiwgXmlTextServer.
casties
parents: 543
diff changeset
378 div.col.main div.content.text span.figure>a,
1b483194901c more new MpiwgXmlTextServer.
casties
parents: 543
diff changeset
379 div.col.main div.content.text span.figure span.figureNumber,
1b483194901c more new MpiwgXmlTextServer.
casties
parents: 543
diff changeset
380 div.col.main div.content.text span.figure span.caption,
1b483194901c more new MpiwgXmlTextServer.
casties
parents: 543
diff changeset
381 div.col.main div.content.text span.figure span.description {
1b483194901c more new MpiwgXmlTextServer.
casties
parents: 543
diff changeset
382 display:block;
1b483194901c more new MpiwgXmlTextServer.
casties
parents: 543
diff changeset
383 }
1b483194901c more new MpiwgXmlTextServer.
casties
parents: 543
diff changeset
384 div.col.main div.content.text span.figure span.figureNum {
1b483194901c more new MpiwgXmlTextServer.
casties
parents: 543
diff changeset
385 display: none;
1b483194901c more new MpiwgXmlTextServer.
casties
parents: 543
diff changeset
386 }
540
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
387 /*
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
388 * search results
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
389 */
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
390 div.col.results {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
391 max-width: 20em;
540
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
392 padding-right: 5px;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
393 }
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
394 div.col.results div.result {
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
395 border: 1px solid silver;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
396 border-radius: 5px;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
397 padding: 0.5em;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
398 }
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
399 div.col.results h4 {
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
400 margin-top: 0;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
401 margin-bottom: 0.5em;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
402 }
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
403 div.col.results div.ruler {
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
404 text-align: center;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
405 margin-bottom: 0.5em;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
406 }
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
407 div.col.results div.query {
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
408 margin-bottom: 0.5em;
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
409 }
576
b2c7e272e075 new w-tag solution with etree. search works now.
casties
parents: 575
diff changeset
410 div.col.results div.content div.hit {
b2c7e272e075 new w-tag solution with etree. search works now.
casties
parents: 575
diff changeset
411 margin-bottom: 0.5em;
b2c7e272e075 new w-tag solution with etree. search works now.
casties
parents: 575
diff changeset
412 }
b2c7e272e075 new w-tag solution with etree. search works now.
casties
parents: 575
diff changeset
413 div.col.results div.content div.hit span.hitLink {
b2c7e272e075 new w-tag solution with etree. search works now.
casties
parents: 575
diff changeset
414 margin-right: 0.5em;
b2c7e272e075 new w-tag solution with etree. search works now.
casties
parents: 575
diff changeset
415 }
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
416
535
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
417 /*
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
418 * index page
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
419 */
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
420 div.index-image {
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
421 padding-left: 1em;
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
422 padding-right: 1em;
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
423 padding-bottom: 1em;
536
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
424 padding-top: 1em;
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
425 }
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
426 div.index-info {
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
427 padding-top: 1em;
535
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
428 }
539
37d122560028 more nicer
casties
parents: 538
diff changeset
429 div.index-info h2 {
37d122560028 more nicer
casties
parents: 538
diff changeset
430 margin-top: 0.5em;
37d122560028 more nicer
casties
parents: 538
diff changeset
431 margin-bottom: 0.5em;
37d122560028 more nicer
casties
parents: 538
diff changeset
432 }
540
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
433 div.index-info td {
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
434 vertical-align: top;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
435 }
535
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
436 div.index-info td.type {
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
437 font-weight: bold;
510bae2b593b more fixes, e.g. IE support. first version of index page.
casties
parents: 533
diff changeset
438 }
536
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
439 div.index-info td.content {
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
440 max-width: 30em;
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
441 }
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
442
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
443 /*
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
444 * image page
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
445 */
590
ed4485d2748e viewMode "images" changed to "image".
casties
parents: 583
diff changeset
446 div.col.main div.content.image {
540
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
447 background-color: inherit;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
448 padding: 0;
536
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
449 }
590
ed4485d2748e viewMode "images" changed to "image".
casties
parents: 583
diff changeset
450 div.col.main div.content.image table {
537
ad6f97fd3944 fixes closing tickets concerning tocs.
casties
parents: 536
diff changeset
451 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
452 }
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
453
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
454 /*
597
fabd394302f1 image search layer uses different color for its annotations.
casties
parents: 590
diff changeset
455 * image search
fabd394302f1 image search layer uses different color for its annotations.
casties
parents: 590
diff changeset
456 */
fabd394302f1 image search layer uses different color for its annotations.
casties
parents: 590
diff changeset
457 div.col.main div.content.image.search div.annotator-hl {
fabd394302f1 image search layer uses different color for its annotations.
casties
parents: 590
diff changeset
458 background-color: rgba(255, 10, 10, 0.3);
fabd394302f1 image search layer uses different color for its annotations.
casties
parents: 590
diff changeset
459 }
fabd394302f1 image search layer uses different color for its annotations.
casties
parents: 590
diff changeset
460 div.col.main div.content.image.search div.annotator-hl:hover {
fabd394302f1 image search layer uses different color for its annotations.
casties
parents: 590
diff changeset
461 background-color: transparent;
fabd394302f1 image search layer uses different color for its annotations.
casties
parents: 590
diff changeset
462 border: 2px solid red;
fabd394302f1 image search layer uses different color for its annotations.
casties
parents: 590
diff changeset
463 }
fabd394302f1 image search layer uses different color for its annotations.
casties
parents: 590
diff changeset
464
fabd394302f1 image search layer uses different color for its annotations.
casties
parents: 590
diff changeset
465 /*
540
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
466 * xml page
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
467 */
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
468 div.col.main div.content.xml {
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
469 font-family: Monaco,Courier,monospace;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
470 font-size: 12px;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
471 }
576
b2c7e272e075 new w-tag solution with etree. search works now.
casties
parents: 575
diff changeset
472 div.col.main div.content.xml ul {
b2c7e272e075 new w-tag solution with etree. search works now.
casties
parents: 575
diff changeset
473 padding-left: 1em;
b2c7e272e075 new w-tag solution with etree. search works now.
casties
parents: 575
diff changeset
474 }
540
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
475 div.col.main div.content.xml div.pageHeaderTitle {
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
476 display: none;
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
477 }
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
478
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
479 /*
536
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
480 * thumbnail overview
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
481 */
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
482 div.col.main div.content-thumbs {
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
483 border: 1px solid silver;
540
4b43a57ad9b3 more nicer
casties
parents: 539
diff changeset
484 padding: 0.5em;
536
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
485 }
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
486 div.col.main table.thumbs td {
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
487 text-align: center;
abd36d4d97b8 new version of index page. improvements for digilib page and thumbnail overview.
casties
parents: 535
diff changeset
488 }
543
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
489
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
490 /*
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
491 * footer
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
492 */
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
493 div.footer {
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
494 max-width: 68em;
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
495 margin-top: 1em;
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
496 border-top: 1px solid silver;
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
497 margin-left: 28px;
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
498 margin-right: 28px;
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
499 text-align: center;
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
500 }
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
501 div.footer div.content {
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
502 font-size: 10px;
567
8b1e20bf300d more new textserver
casties
parents: 565
diff changeset
503 color: gray;
543
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
504 }
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
505 div.footer div.content a:link,
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
506 div.footer div.content a:visited {
567
8b1e20bf300d more new textserver
casties
parents: 565
diff changeset
507 color: gray;
615
d6eca930a534 hocr viewer eingebaut
Dirk Wintergruen <dwinter@mpiwg-berlin.mpg.de>
parents: 611
diff changeset
508 }
d6eca930a534 hocr viewer eingebaut
Dirk Wintergruen <dwinter@mpiwg-berlin.mpg.de>
parents: 611
diff changeset
509
d6eca930a534 hocr viewer eingebaut
Dirk Wintergruen <dwinter@mpiwg-berlin.mpg.de>
parents: 611
diff changeset
510 span.ocr_line {
d6eca930a534 hocr viewer eingebaut
Dirk Wintergruen <dwinter@mpiwg-berlin.mpg.de>
parents: 611
diff changeset
511 display:block;
543
6cdc31e9ed8e fixed problem with dict-mode in default view.
casties
parents: 542
diff changeset
512 }