1#topmatter {
2    top: 0px;
3    left: 0px;
4    height: 100%;
5    position: fixed;
6    background: #333;
7    box-shadow: inset -5px 0 5px 0px #000;
8    width: 250px;
9    padding-top: 20px;
10    color: #fff;
11    font-family: sans-serif;
12}
13body {
14    font-family: sans-serif;
15}
16.indexitem {
17    font-family: PragmataPro, Iosevka, monospace;
18}
19.indexitem .sourcepos {
20    position: relative !important;
21    right:0px !important;
22    font-family: PragmataPro, Iosevka, monospace;
23}
24.indexitem .sourcepos a {
25    top: 0px !important;
26}
27.pagetitle {
28    font-family: PragmataPro, Iosevka, monospace;
29    font-size: xx-small;
30    border-bottom: 1px solid #aaaaaa;
31    margin-bottom: 80px;
32    display: block;
33    margin-left: 50px;
34    margin-right: 20px;
35}
36.links {
37    padding-top: 15px;
38    padding-right: 20px;
39    position: absolute;
40    left: 56;
41    font-size: x-small;
42    /* color: #eeeeff; */
43}
44.links a {
45    color: #aaaacc;
46    font-family: PragmataPro, Iosevka, monospace;
47}
48.contentsh1 {
49    font-family: PragmataPro, Iosevka, monospace;
50}
51.contentsitem a {
52    font-family: PragmataPro, Iosevka, monospace;
53    color: #aaaacc;
54}
55#topmatter img {
56    width: 56px;
57    float:left;
58}
59#toc ul {
60    margin: 0;
61    padding: 0;
62    list-style: none;
63}
64.sourcepos {
65    position: absolute;
66    right: 10px;
67}
68
69.sourcepos a {
70    font-family: PragmataPro, Iosevka, monospace;
71    color: #aaaaaa;
72    font-size: x-small;
73    position: relative;
74    top: 15px;
75}
76#toc li {
77    padding: 5px 10px;
78}
79
80#toc a {
81    color: #fff;
82    text-decoration: none;
83    display: block;
84}
85
86#toc .toc-h2 {
87    padding-left: 20px;
88    font-size: smaller;
89}
90
91#toc .toc-h3 {
92    padding-left: 30px;
93    font-size: x-small;
94}
95#toc .toc-h4 {
96    padding-left: 40px;
97    font-size: x-small;
98}
99#toc .toc-h5 {
100    padding-left: 50px;
101    font-size: xx-small;
102}
103
104#toc .toc-active {
105    background: #336699;
106    box-shadow: inset -5px 0px 10px -5px #000;
107}
108#main {
109    margin-left: 270px;
110}
111.block {
112       margin-top: 0px; font-family: PragmataPro, Iosevka, monospace;
113       padding-right: 100px !important;
114       position:relative;
115       display:inline-block;
116      }
117      table {
118      border-spacing: 0px;
119      }
120      .block td {
121             vertical-align: top;
122             margin: 0px;
123             padding: 0px 0px 0px 0px;
124             white-space:nowrap;
125
126      }
127      .spaced {
128         padding-left: 5px !important;
129      }
130      .invisibledoc p {
131         display:inherit;
132         margin: 0px;
133      }
134      .show {
135        font-size:11px;
136        color:white;
137        text-decoration: none;
138      }
139      .hide {
140        font-size: 11px;
141        color:white;
142        text-decoration: none;
143      }
144      .answer,
145      .show,
146      .hide:target {
147          display: none;
148      }
149      .hide:target + .show,
150      .hide:target ~ .answer {
151          display: inline;
152      }
153      .invisibledoc {
154      -webkit-user-select: none; /* Chrome/Safari */        
155      -moz-user-select: none; /* Firefox */
156      -ms-user-select: none; /* IE10+ */
157       /* Rules below not implemented in browsers yet */
158       -o-user-select: none;
159       user-select: none;
160         margin-top:0px;
161         margin-bottom:0px;
162         margin-left: 5px;
163         display: inline-block;
164         font-family: sans-serif;
165         color: #2e3436;
166      }
167      .inlinedoc p {
168         display:inherit;
169         margin: 0px;
170      }
171      .inlinedoc {
172         display: inline-block;
173         font-family: sans-serif;
174         color: #eeeecc;
175         position:absolute;
176         right: 10px;
177      }
178      body { background: #192021; color: #eeeeec; }
179      .header {
180      border-radius: 5px 5px 0px 0px;
181      padding:5px;
182      margin-top: 5px;
183      }
184      .footer {
185      border-radius: 0px 0px 5px 5px;
186      padding: 5px;
187      margin-bottom: 5px;
188      }
189      .footerds {
190      border-radius: 0px 5px 5px 5px !important;
191      padding: 5px;
192      margin-bottom: 5px;
193      }
194      .docstring { background: #555753; padding: 5px; font-family: sans-serif; border-radius: 0px 5px 0px 0px; }
195      .docstring p { margin: 0px; }
196      .shbutton { margin-top: 0px; font-family: PragmataPro, Iosevka, monospace; padding: 5px }
197      code {font-family: PragmataPro, Iosevka, monospace; }
198      .source { margin-top: 0px; font-family: PragmataPro, Iosevka, monospace; padding: 5px }
199      .BoldIntensity { font-weight: bold }
200      .fg-Dull-Black { color: #2e3436;}
201      .fg-Dull-Red { color: #cc0000;}
202      .fg-Dull-Green { color: #4e9a06;}
203      .fg-Dull-Yellow { color: #c4a000;}
204      .fg-Dull-Blue { color: #3465a4;}
205      .fg-Dull-Magenta { color: #75507b;}
206      .fg-Vivid-Magenta { color: #06989a;}
207      .fg-Dull-White { color: #d3d7cf;}
208      .fg-Vivid-Black { color: #555753;}
209      .fg-Vivid-Red { color: #ef2929;}
210      .fg-Vivid-Green { color: #8ae234;}
211      .fg-Vivid-Yellow { color: #fce94f;}
212      .fg-Vivid-Blue { color: #729fcf;}
213      .fg-Vivid-Cyan { color: #ad7fa8;}
214      .fg-Vivid-Magenta { color: #34e2e2;}
215      .fg-Vivid-White { color: #eeeeec;}
216      .bg-Dull-Black { background: #2e3436;}
217      .bg-Dull-Red { background: #cc0000;}
218      .bg-Dull-Green { background: #4e9a06;}
219      .bg-Dull-Yellow { background: #c4a000;}
220      .bg-Dull-Blue { background: #3465a4;}
221      .bg-Dull-Magenta { background: #75507b;}
222      .bg-Dull-Cyan { background: #06989a;}
223      .bg-Dull-White { background: #d3d7cf;}
224      .bg-Vivid-Black { background: #555753;}
225      .bg-Vivid-Red { background: #ef2929;}
226      .bg-Vivid-Green { background: #8ae234;}
227      .bg-Vivid-Yellow { background: #fce94f;}
228      .bg-Vivid-Blue { background: #729fcf;}
229      .bg-Vivid-Cyan { background: #ad7fa8;}
230      .bg-Vivid-Magenta { background: #34e2e2;}
231      .bg-Vivid-White { background: #eeeeec;}
232      .docblock { font-family: sans-serif; }