css/site.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
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109

body {
	background-colo-r: #f5f5f5;
	/* background-color: #ffffff; */
	font-family: sans-serif;
	margin: 0pt;
	padding: 0pt;
}

header {
	margin: 0pt;
	padding: 0pt;
	width: 100%;
	background-color: #ededed;
	border-bottom: 2pt solid #aaa;
	border-top: 0pt;
}

header h1 {
	font-size: x-large;
	font-weight: bold;
	text-align: center;
	padding: 5pt;
	margin: 0pt;
}

a {
	margin: 0pt;
	border-collapse: collapse;
}

a:link {
	color: #45a;
	background-color: transparent;
	text-decoration: none;
}

a:visited {
	color: #45a;
	background-color: transparent;
	text-decoration: none;
}

a:hover {
	color: #48f;
	background-color: transparent;
	text-decoration: none;
}

a:active {
	color: #48f;
	background-color: transparent;
	border: 0pt;
	margin: 0pt;
}

div.sidebar {
	float: right;
	background-color: #e4e4f0;
	border-left: 1pt solid #99c;
	border-bottom: 1pt solid #99c;
	margin-left: 2em;
	margin-bottom: 1em;
	min-width: 15%;
	padding: 5pt;
}

div.sidebar li {
	display: list-item;
	list-style: square;
}
div.sidebar ul {
	padding: 0pt 0pt 0pt 1em;
	margin: 0 0 1em;
}

div.body-contents {
	padding: 5pt;
	margin-left: 20%;
	margin-right: 20%;
}

div.body-contents h1 {
	font-size: 140%;
	font-weight: bold;
	text-align: left;
	padding: 0em 0em 0em 0em;
	margin: 0pt;
	margin-top: 1em;
}

div.body-contents h2 {
	font-size: 125%;
	font-weight: bold;
	text-align: left;
	padding: 0em 0em 0em 0em;
	margin: 0pt;
}

div.body-contents code {
	background-color: #f4f4f4;
}

div.body-contents pre {
	background-color: #e4e4e4;
	display: block;
	margin: 0em 20% 0em 1em;
	padding: 10px 10px 10px 10px;
	white-space: pre;
}