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
|
body {
margin: 0;
}
div.toc ul {
padding: 0;
}
div.toc li {
margin-bottom: 3px;
}
h1.title {
font-size: 36px;
line-height: 1.1;
font-weight: normal;
}
h0, h2 {
font-size: 24px;
line-height: 1.2;
margin: 14px 0;
font-weight: normal;
display: block;
}
a:hover {
color: #dd4814;
text-decoration: underline;
outline: 0;
}
table, pre {
border-radius: 0;
}
.annotated td {
padding: 0.8em 1em 0.3em;
}
.wrapper {
width: 940px;
margin: 0 auto;
}
.main-content {
width: 668px;
position: relative;
left: 270px;
}
.title {
margin-left: -270px;
margin-top: 30px;
margin-bottom: 50px;
}
.toc {
margin-left: -270px;
font-size: 100%;
margin-bottom: 40px;
padding: 0;
z-index: 2;
position: absolute;
top: 100px;
width: 250px;
}
|
