blob: 5dc217c2d9b9820a543c89f6a354d4cc8cd9e507 (
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
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
|
body {
font-family: "dejavu sans", sans-serif;
width: 80ex;
margin: 3em auto;
background-color: #eee;
border: 3px solid #ddd;
}
div.document {
padding: 3em;
background-color: white;
}
h1.title {
font-size: 200%;
background-color: white;
border: 0px;
margin: 0px;
}
h2.subtitle {
margin-top: 1ex;
font-size: 110%;
}
h1 {
font-size: 130%;
border-bottom: 3px solid #eee;
margin: 3ex 0em 0em 0em;
}
p, li {
line-height: 140%;
list-style-type: square;
}
blockquote {
margin: 1em;
}
pre {
margin-left: 3em;
color: #777;
}
table.docinfo {
display: none;
}
a {
color: #c00;
text-decoration: none;
}
|