• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1body {
2    margin: 5ex 10ex;
3    max-width: 80ex;
4    line-height: 1.5;
5    font-family: sans-serif;
6}
7h1, h2, h3 {
8    font-weight: normal;
9}
10pre, code {
11    font-family: x, monospace;
12}
13pre {
14    padding: 1ex;
15    background: #eee;
16    border: solid 1px #ddd;
17    min-width: 0;
18    font-size: 90%;
19}
20code {
21    color: #007;
22}
23div.chapter {
24    margin-top: 4em;
25    border-top: solid 2px black;
26}
27p {
28    margin-top: 0;
29}
30