1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
|
/* CSS style for Seastar's tutorial.
* TODO: We also get some style for syntax highlighting inserted by our
* use of "highlight-style tango" in configure.py. Perhaps we can insert
* this style here too, for finer control.
*/
/* Some defaults */
body {
color: #000000;
background: #FFFFFF;
font-size: 13pt;
line-height: 1.10;
font-family: arial, sans-serif;
margin-left: 15pt;
margin-right: 15pt;
text-align: justify;
}
/* In older versions, Pandoc puts the title, author and date, if any, in its
* own div id="header". In recent versions, it uses a "header" tag instead.
*/
div#header, header {
border-top: 1px solid #aaa;
border-bottom: 1px solid #aaa;
background: #F0F0C0;
margin: 10pt;
margin-left: 10%;
margin-right: 10%;
}
/* The title is in an h1.title, in the above div#header */
.title {
color: #000000;
margin: 5pt;
text-align: center;
font-family: serif;
font-weight: bold;
font-size: 32pt;
}
/* The author/date are h2.author and h3.date */
.author, .date {
color: #000000;
margin: 0pt;
text-align: center;
font-family: serif;
font-weight: normal;
font-size: 16pt;
}
/* table of contents is in div id="TOC" in older versions, or a nav id="TOC"
* in newer versions */
div#TOC, nav#TOC {
border-top: 1px solid #aaa;
border-bottom: 1px solid #aaa;
background: #F9F9F9;
margin: 10pt;
margin-left: 20%;
margin-right: 20%;
}
h1, h2, h3, h4, h5, h6 {
color: #EE3300;
}
a {
text-decoration: none;
}
a:link, a:visited {
color: #0000CC;
}
a:hover {
color: #CC0000;
text-decoration: underline;
}
/* Multiline code snippets are wrapped in a "code" inside a "pre".
* Inline code snippets are just in a "code".
*/
code {
background-color: #FFFFFF;
/* BEGIN word wrap */
/* Need all the following to word wrap instead of scroll box */
/* This will override the overflow:auto if present */
white-space: pre-wrap; /* css-3 */
white-space: -moz-pre-wrap !important; /* Mozilla, since 1999 */
white-space: -pre-wrap; /* Opera 4-6 */
white-space: -o-pre-wrap; /* Opera 7 */
word-wrap: break-word; /* Internet Explorer 5.5+ */
/* END word wrap */
}
pre {
padding: 0.5em;
border: 1px dotted #777;
margin-left: 15pt;
margin-right: 15pt;
}
pre, pre > code {
background-color: #f8f8f8;
}
/* Fix stuff for printing, in case somebody tries to print the HTML instead
* of getting a PDF and printing that. For example, too big fonts and big
* margins may be a waste of paper.
* buttondown.css has a nice trick for replacing links with the actual text
* of the URL - might be nice to copy it one day.
*/
@media print {
body { font-size: 11pt; }
a { color: black; background: transparent; }
pre { border: 1px solid #aaa; }
}
|
