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,
24ul,
25ol {
26  margin: 20px;
27}
28
29h1,
30h2,
31h3,
32h4 {
33  margin: 20px 0;
34  padding: 0;
35  color: #375eab;
36  font-weight: bold;
37}
38h1 {
39  font-size: 18px;
40  padding: 2px 5px;
41}
42h2 {
43  font-size: 16px;
44}
45h3 {
46  font-size: 16px;
47}
48h3,
49h4 {
50  margin: 20px 5px;
51}
52h4 {
53  font-size: 16px;
54}
55
56div#heading {
57  margin: 0 0 10px 0;
58  padding: 21px 0;
59  font-size: 20px;
60  font-weight: bold;
61}
62
63div#heading .author {
64  padding-top: 10px;
65  font-size: 14px;
66  font-weight: normal;
67}
68
69div#topbar {
70}
71
72body {
73  text-align: center;
74}
75div#page {
76  width: 100%;
77}
78div#page > .container,
79div#topbar > .container {
80  text-align: left;
81  margin-left: auto;
82  margin-right: auto;
83  padding: 0 20px;
84  width: 900px;
85}
86div#page.wide > .container,
87div#topbar.wide > .container {
88  width: auto;
89}
90
91div#footer {
92  text-align: center;
93  color: #666;
94  font-size: 14px;
95  margin: 40px 0;
96}
97
98.author p {
99  margin: 0;
100  padding: 0 20px;
101}
102
103div.code,
104div.output {
105  margin: 20px 20px 20px 40px;
106  -webkit-border-radius: 5px;
107  -moz-border-radius: 5px;
108  border-radius: 5px;
109}
110
111div.output {
112  padding: 10px;
113}
114
115div.code {
116  background: white;
117}
118div.output {
119  background: black;
120}
121div.output .stdout {
122  color: #e6e6e6;
123}
124div.output .stderr {
125  color: rgb(244, 74, 63);
126}
127div.output .system {
128  color: rgb(255, 209, 77);
129}
130
131.buttons {
132  margin-left: 20px;
133}
134div.output .buttons {
135  margin-left: 0;
136  margin-bottom: 10px;
137}
138
139#toc {
140  float: right;
141  margin: 0px 10px;
142  padding: 10px;
143  border: 1px solid #e5ecf9;
144  background-color: #eee;
145  box-shadow: 3px 3px 2px #888888;
146
147  max-width: 33%;
148
149  -webkit-border-radius: 5px;
150  -moz-border-radius: 5px;
151  border-radius: 5px;
152}
153
154#tochead {
155  font-weight: bold;
156  font-variant: small-caps;
157  font-size: 100%;
158  text-align: center;
159  padding-bottom: 5px;
160}
161
162#toc ul,
163#toc a {
164  list-style-type: none;
165  padding-left: 0px;
166  color: black;
167  margin: 0px;
168}
169
170ul.toc-inner a {
171  padding-left: 10px !important;
172}
173
174@media print {
175  .no-print,
176  .no-print * {
177    display: none !important;
178  }
179}
180