annotate css/docuviewer.css @ 533:ea70a45594c7

set base font and stuff.
author casties
date Wed, 25 Jul 2012 21:35:26 +0200
parents 0b8bed1223ad
children 510bae2b593b
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;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
33 border: 1px solid silver;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
34 padding: 0.5em;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
35 background-color: white;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
36 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
37
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
38 ul.view-switcher {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
39 padding-left: 0;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
40 margin-top: 4px;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
41 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
42 ul.view-switcher li {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
43 list-style-type: none;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
44 display: inline;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
45 background-color: #d0d0d0;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
46 margin-right: 0;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
47 border-bottom: 1px solid silver;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
48 border-left: 1px solid silver;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
49 border-right: 1px solid silver;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
50 border-radius: 0 0 5px 5px;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
51 padding: 5px;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
52 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
53 ul.view-switcher li.sel {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
54 background-color: white;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
55 }
480
50a28442f21c more new template stuff
casties
parents: 21
diff changeset
56
485
1e51d440f08b more new templates
casties
parents: 484
diff changeset
57 div.page-body {
481
0a0f7f570f90 more new templates
casties
parents: 480
diff changeset
58 display: table-row;
480
50a28442f21c more new template stuff
casties
parents: 21
diff changeset
59 }
510
4fb35343d2e7 more search. nicer css.
casties
parents: 489
diff changeset
60 div.page-body div.col {
483
ab9b34a1c62a more new templates
casties
parents: 482
diff changeset
61 display: table-cell;
484
26bb915c1f07 more new template stuff
casties
parents: 483
diff changeset
62 vertical-align: top;
483
ab9b34a1c62a more new templates
casties
parents: 482
diff changeset
63 }
480
50a28442f21c more new template stuff
casties
parents: 21
diff changeset
64
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
65 /*
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
66 * TOC
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
67 */
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
68 div.toc-container {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
69 display:table-row;
481
0a0f7f570f90 more new templates
casties
parents: 480
diff changeset
70 }
0a0f7f570f90 more new templates
casties
parents: 480
diff changeset
71
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
72 div.toc-switcher {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
73 display: table-cell;
533
ea70a45594c7 set base font and stuff.
casties
parents: 532
diff changeset
74 width: 26.5px; /* for moz and webkit -- don't ask me */
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
75 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
76 div.toc-switcher ul {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
77 position: absolute;
533
ea70a45594c7 set base font and stuff.
casties
parents: 532
diff changeset
78 /* z-index: 20; */
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
79 transform: rotate(270deg);
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
80 transform-origin: top left;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
81 -moz-transform: rotate(270deg);
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
82 -moz-transform-origin: top left;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
83 -webkit-transform: rotate(270deg);
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
84 -webkit-transform-origin: top left;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
85 -o-transform: rotate(270deg);
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
86 -o-transform-origin: top left;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
87 left: 12px;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
88 top: 486px;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
89 padding: 0px;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
90 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
91 div.toc-switcher li {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
92 list-style-type: none;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
93 display: inline;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
94 background-color: #d0d0d0;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
95 margin-bottom: 5px;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
96 border-top: 1px solid silver;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
97 border-left: 1px solid silver;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
98 border-right: 1px solid silver;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
99 border-radius: 5px 5px 0 0;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
100 padding: 5px;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
101 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
102 div.toc-switcher li.sel {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
103 background-color: white;
511
551ca1641a5e more cleanup.
casties
parents: 510
diff changeset
104 }
551ca1641a5e more cleanup.
casties
parents: 510
diff changeset
105
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
106 div.tocbody {
533
ea70a45594c7 set base font and stuff.
casties
parents: 532
diff changeset
107 /* z-index: 10; */
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
108 display: table-cell;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
109 border: 1px solid silver;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
110 padding: 0.5em;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
111 background-color: white;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
112 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
113
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
114 div.tocbody.text,
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
115 div.tocbody.figures {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
116 max-width: 20em;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
117 background-color: white;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
118 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
119
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
120 div.tocbody.text .toc,
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
121 div.tocbody.figures .toc,
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
122 div.tocbody.concordance .toc {
510
4fb35343d2e7 more search. nicer css.
casties
parents: 489
diff changeset
123 float:left;
4fb35343d2e7 more search. nicer css.
casties
parents: 489
diff changeset
124 clear:right;
4fb35343d2e7 more search. nicer css.
casties
parents: 489
diff changeset
125 }
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
126 div.tocbody.text .toc.float.right,
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
127 div.tocbody.figures .toc.float.right,
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
128 div.tocbody.concordance .toc.float.right {
510
4fb35343d2e7 more search. nicer css.
casties
parents: 489
diff changeset
129 float:right;
4fb35343d2e7 more search. nicer css.
casties
parents: 489
diff changeset
130 }
4fb35343d2e7 more search. nicer css.
casties
parents: 489
diff changeset
131
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
132 div.tocbody table.thumbs td {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
133 text-align: center;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
134 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
135 div.tocbody table.thumbs .thumb {
481
0a0f7f570f90 more new templates
casties
parents: 480
diff changeset
136 padding: 3px;
0a0f7f570f90 more new templates
casties
parents: 480
diff changeset
137 }
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
138 div.tocbody table.thumbs .thumbsel {
481
0a0f7f570f90 more new templates
casties
parents: 480
diff changeset
139 padding: 2px;
0a0f7f570f90 more new templates
casties
parents: 480
diff changeset
140 border: 1px solid blue;
21
0af46e75de3c preliminary version 0.2
casties
parents:
diff changeset
141 }
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
142 div.tocbody table.thumbs .thumbcap {
481
0a0f7f570f90 more new templates
casties
parents: 480
diff changeset
143 color: black;
21
0af46e75de3c preliminary version 0.2
casties
parents:
diff changeset
144 }
511
551ca1641a5e more cleanup.
casties
parents: 510
diff changeset
145
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
146 /*
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
147 * content
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
148 */
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
149 div.col.main {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
150 padding-left: 5px;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
151 padding-right: 5px;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
152 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
153 div.col.main div.ruler {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
154 margin-top: 4px;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
155 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
156 div.col.main span.ruler-main {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
157 background-color: #d0d0d0;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
158 border-left: 1px solid silver;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
159 border-top: 1px solid silver;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
160 border-right: 1px solid silver;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
161 border-radius: 5px 5px 0 0;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
162 padding: 4px;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
163 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
164
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
165 div.col.main div.content {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
166 border: 1px solid silver;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
167 padding: 1em;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
168 background-color: white;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
169 font-size: 14px;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
170 font-family: Junicode,Gentium,Georgia,serif;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
171 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
172 div.col.main div.content a:link,
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
173 div.col.main div.content a:visited {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
174 font-weight: inherit;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
175 color: #892B06;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
176 }
511
551ca1641a5e more cleanup.
casties
parents: 510
diff changeset
177 span.hit.highlight {
532
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
178 background-color: lime;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
179 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
180
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
181 /*
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
182 * buttons
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
183 */
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
184 div.col.buttons div.options {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
185 border: 1px solid silver;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
186 padding: 0.5em;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
187 background-color: white;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
188 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
189 div.col.buttons h4 {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
190 margin-top: 0;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
191 margin-bottom: 0;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
192 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
193 div.col.buttons ul {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
194 list-style-type: none;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
195 padding-left: 0;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
196 margin-top: 0.5em;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
197 margin-bottom: 0.5em;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
198 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
199
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
200 /*
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
201 * search results
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
202 */
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
203 div.col.results {
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
204 max-width: 20em;
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
205 }
0b8bed1223ad new layout and styles.
casties
parents: 528
diff changeset
206