3 font: Georgia, "Times New Roman", serif;
10 text-decoration: none;
18 /* ================================== */
19 /* = Header with logo and menu = */
20 /* ================================== */
22 margin: 3.4em 0 0 1.4em;
67 #menu li a.menu:hover, #menu li a.menu:active {
69 background: #FFF url(/static/img/arrow-down.png) no-repeat center right;
72 #menu li a.menu.selected {
74 background: #FFF url(/static/img/arrow-up.png) no-repeat center right;
92 #toc, #themes, #nota_red, #info, #objects {
99 border-bottom: 0.25em solid #DDD;
100 border-right: 0.25em solid #DDD;
115 border-bottom: 0.25em solid #DDD;
116 border-right: 0.25em solid #DDD;
125 #toc ol, #themes ol, #objects ol {
136 padding: 0 0 1.5em 1.5em;
161 /* =================================================== */
162 /* = Common elements: headings, paragraphs and lines = */
163 /* =================================================== */
196 /* ======================== */
197 /* = Footnotes and themes = */
198 /* ======================== */
200 border-left: 0.1em solid #DDDDDD;
207 font-variant: normal;
209 text-transform: none;
210 text-decoration: none;
214 margin-right: -9.5em;
215 margin-bottom: 0.5em;
235 #footnotes .annotation {
246 #footnotes p, #footnotes ul {
251 #footnotes .permalink {
267 margin: -0.25em -0.5em;
273 padding: 0.25em 0.5em;
277 .anchor:hover, #book-text .anchor:active {
279 background-color: #CCC;
282 /* =================== */
283 /* = Custom elements = */
284 /* =================== */
289 margin-bottom: 0.25em;
296 margin-bottom: -0.25em;
315 margin: 0.5em 0 0 1.5em;
326 div.kwestia div.stanza {
347 border-bottom: 0.1em solid #999;
348 padding-bottom: 1.5em;
351 div.note p, div.dedication p, div.note p.paragraph, div.dedication p.paragraph {
364 border-bottom: 0.1em solid #000;
375 padding: 0 0 0 1.5em;
382 em.math, em.foreign-word, em.book-title, em.didaskalia {
387 letter-spacing: 0.1em;
392 font-variant: small-caps;
400 /* =================================== */
401 /* = Hide some elements for printing = */
402 /* =================================== */
405 #menu {display: none;}