edocs.css


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

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;
}

.container {
    margin: 0 auto;
    width: 700px;
}