This repository has been archived by the owner on Apr 4, 2023. It is now read-only.
-
-
Notifications
You must be signed in to change notification settings - Fork 30
/
style.css
80 lines (76 loc) · 1.79 KB
/
style.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
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
body {
margin-top: 1.0em;
background-color: #e5e5e5;
font-family: Helvetica,Arial,FreeSans;
color: #000;
}
h1.title { font-size: 3.8em; color: #000;
margin-top: 0px; margin-bottom: 0px;
width:700px;
padding: 0px;
background-color: #e5e5e5;
font-weight: normal;
vertical-align: top;
font-family: AnonymousPro,Consolas,Fixed,monospace;
}
h1 .small { font-size: 0.4em; }
h1 a { text-decoration: none; font-weight: normal;}
div.document {
margin: 0px auto;
width: 700px;
border: 1px solid black;
background-color: white;
}
div.document p{ padding: 0px 8px;}
h2.subtitle {
padding: 0px 8px 0px 8px;
font-size: 1.5em;
margin: 0px;
}
div.section{
line-height: 1.4em;
padding: 10px;
font-size: 0.75em;
}
#logo{
padding: 12px;
padding-bottom: 0px;
padding-right: 32px;
}
div.section h1 {
margin-top: 0px;
border-bottom: 2px solid #666;
border-left: 1px solid #666;
padding: 2px;
font-size: 1.25em;
}
/* note style */
div.note {
margin: 10px;
background-color: #f7f7f7;
border: 1px solid black;
}
p.admonition-title {
margin-top: 0px;
background-color: #afc1c4;
border-bottom: 1px solid black;
font-weight: bold;
color: white;
font-size: 1.2em;
}
li { margin-bottom: .25em;}
a { color: black; font-weight: bold; text-decoration: none;}
a:hover { text-decoration: underline;}
.description { font-size: 1.2em; margin-bottom: 30px; margin-top: 30px; font-style: italic;}
.download { float: right; }
pre { background: #000; color: #fff; padding: 15px;}
hr { border: 0; width: 80%; border-bottom: 1px solid #aaa}
.footer {
text-align: center;
padding-top: 8px;
font-style: italic;
font-size: x-small;
width: 680px;
margin-left: auto;
margin-right: auto;
}