2010-07-03 07:07:00 +02:00
|
|
|
|
/* This defines styles and classes used in the book */
|
2013-07-13 23:48:14 +02:00
|
|
|
|
body { margin: 5%; text-align: justify; font-size: medium; }
|
2010-07-03 07:07:00 +02:00
|
|
|
|
code { font-family: monospace; }
|
2013-01-05 21:10:25 +01:00
|
|
|
|
h1 { text-align: left; }
|
|
|
|
|
h2 { text-align: left; }
|
|
|
|
|
h3 { text-align: left; }
|
|
|
|
|
h4 { text-align: left; }
|
|
|
|
|
h5 { text-align: left; }
|
|
|
|
|
h6 { text-align: left; }
|
2020-08-31 00:12:12 +02:00
|
|
|
|
/* For title, author, and date on the cover page */
|
2010-07-09 19:35:12 +02:00
|
|
|
|
h1.title { }
|
2020-08-31 00:12:12 +02:00
|
|
|
|
p.author { }
|
|
|
|
|
p.date { }
|
2019-01-02 20:24:53 +01:00
|
|
|
|
nav#toc ol,
|
|
|
|
|
nav#landmarks ol { padding: 0; margin-left: 1em; }
|
|
|
|
|
nav#toc ol li,
|
|
|
|
|
nav#landmarks ol li { list-style-type: none; margin: 0; padding: 0; }
|
2017-10-31 10:32:17 +01:00
|
|
|
|
a.footnote-ref { vertical-align: super; }
|
2015-08-07 22:32:36 +02:00
|
|
|
|
em, em em em, em em em em em { font-style: italic;}
|
|
|
|
|
em em, em em em em { font-style: normal; }
|
2019-05-04 07:24:26 +02:00
|
|
|
|
code{ white-space: pre-wrap; }
|
|
|
|
|
span.smallcaps{ font-variant: small-caps; }
|
|
|
|
|
span.underline{ text-decoration: underline; }
|
|
|
|
|
q { quotes: "“" "”" "‘" "’"; }
|
|
|
|
|
div.column{ display: inline-block; vertical-align: top; width: 50%; }
|
2019-09-05 21:44:29 +02:00
|
|
|
|
div.hanging-indent{margin-left: 1.5em; text-indent: -1.5em;}
|
2020-05-19 07:58:33 +02:00
|
|
|
|
@media screen { /* Workaround for iBooks issue; see #6242 */
|
|
|
|
|
.sourceCode {
|
|
|
|
|
overflow: visible !important;
|
|
|
|
|
white-space: pre-wrap !important;
|
|
|
|
|
}
|
|
|
|
|
}
|