blob: f4d222fff76978b444c1f042e0c1ef2cf5284749 (
plain)
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
|
a { text-decoration: none; }
a:hover { text-decoration: underline; }
body {
border: 0;
font-family: "PT Sans", "Liberation Sans", "DejaVu Sans", "Tahoma", "Verdana", "Arial", sans-serif;
margin: 0;
padding: 0;
line-height: 160%;
font-size: 15px;
}
h1 { font-size: 25px; }
h2 { font-size: 23px; }
h3 { font-size: 21px; }
h4 { font-size: 19px; }
h5 { font-size: 17px; }
h6 { font-size: 15px; }
pre {
line-height: 100%;
font-family: "CosmicSansNeueMono", "PT Mono", "Liberation Mono", "DejaVu Sans Mono", "Courier new", monospace;
margin: 1.2em -8pt;
}
pre.example { margin: 1.2em 0; }
.container { margin: 0 auto; width: 700px; }
.docstring { margin-left: 15px; }
|