1body {
2	margin: 0;
3	font-family: Helvetica, Arial, sans-serif;
4	font-size: 16px;
5}
6pre,
7code {
8	font-family: Menlo, monospace;
9	font-size: 14px;
10}
11pre {
12	line-height: 18px;
13	margin: 0;
14	padding: 0;
15}
16a {
17	color: #375EAB;
18	text-decoration: none;
19}
20a:hover {
21	text-decoration: underline;
22}
23p, ul, ol {
24	margin: 20px;
25}
26
27h1, h2, h3, h4 {
28	margin: 20px 0;
29	padding: 0;
30	color: #375EAB;
31	font-weight: bold;
32}
33h1 {
34	font-size: 24px;
35}
36h2 {
37	font-size: 20px;
38	background: #E0EBF5;
39	padding: 2px 5px;
40}
41h3 {
42	font-size: 20px;
43}
44h3, h4 {
45	margin: 20px 5px;
46}
47h4 {
48	font-size: 16px;
49}
50
51div#heading {
52	float: left;
53	margin: 0 0 10px 0;
54	padding: 21px 0;
55	font-size: 20px;
56	font-weight: normal;
57}
58
59div#topbar {
60	background: #E0EBF5;
61	height: 64px;
62	overflow: hidden;
63}
64
65body {
66	text-align: center;
67}
68div#page {
69	width: 100%;
70}
71div#page > .container,
72div#topbar > .container {
73	text-align: left;
74	margin-left: auto;
75	margin-right: auto;
76	padding: 0 20px;
77	width: 900px;
78}
79div#page.wide > .container,
80div#topbar.wide > .container {
81	width: auto;
82}
83
84div#footer {
85	text-align: center;
86	color: #666;
87	font-size: 14px;
88	margin: 40px 0;
89}
90
91.author p {
92	margin: 20, 0, 0, 0px;
93}
94
95div.code,
96div.output {
97	margin: 20px;
98	padding: 10px;
99	-webkit-border-radius: 5px;
100	-moz-border-radius: 5px;
101	border-radius: 5px;
102}
103
104div.code { background: #e9e9e9; }
105div.output { background: black; }
106div.output .stdout { color: #e6e6e6; }
107div.output .stderr { color: rgb(244, 74, 63); }
108div.output .system { color: rgb(255, 209, 77) }
109
110.buttons {
111	margin-left: 20px;
112}
113div.output .buttons {
114	margin-left: 0;
115	margin-bottom: 10px;
116}
117
118#toc {
119	float: right;
120	margin: 0px 10px;
121	padding: 10px;
122	border: 1px solid #e5ecf9;
123	background-color: white;
124	max-width: 33%;
125
126	-webkit-border-radius: 5px;
127	-moz-border-radius: 5px;
128	border-radius: 5px;
129}
130
131#toc ul, #toc a {
132	list-style-type: none;
133	padding-left: 10px;
134	color: black;
135	margin: 0px;
136}
137