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; }