[ee06999] | 1 | body { |
---|
| 2 | padding-top: 70px; |
---|
| 3 | } |
---|
| 4 | table.nostretch { |
---|
| 5 | width=100% |
---|
| 6 | } |
---|
| 7 | .nostretch td { |
---|
| 8 | class='block' |
---|
| 9 | } |
---|
| 10 | .nostretch tr td{ |
---|
| 11 | width:1%; |
---|
| 12 | white-space:nowrap; |
---|
| 13 | } |
---|
| 14 | |
---|
[2d1c338] | 15 | :target:before { |
---|
| 16 | content:""; |
---|
| 17 | display:block; |
---|
| 18 | height:60px; |
---|
| 19 | margin:-60px 0 0; |
---|
| 20 | } |
---|
| 21 | |
---|
[ee06999] | 22 | ol.hierarchy { |
---|
| 23 | min-height: 40px; |
---|
| 24 | background-color: #f5f5f5; |
---|
| 25 | border: 1px solid #e3e3e3; |
---|
| 26 | border-radius: 3px; |
---|
| 27 | -webkit-box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.05); |
---|
| 28 | box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.05); |
---|
| 29 | } |
---|
| 30 | |
---|
| 31 | .smallcaps { |
---|
| 32 | font-variant: small-caps; |
---|
| 33 | } |
---|
| 34 | .well .sidebar { |
---|
| 35 | padding: 8px 0 |
---|
| 36 | } |
---|
| 37 | .sidebar a { |
---|
| 38 | padding: 0px,0px,0px,0px |
---|
| 39 | } |
---|
| 40 | .varlist>tbody>tr>td { |
---|
| 41 | padding-left: 3px; |
---|
| 42 | padding-right: 3px; |
---|
| 43 | } |
---|
| 44 | .varlist>tbody>tr>td:first-child, .varlist>thead>tr>td:first-child { |
---|
| 45 | padding-left: 8px; |
---|
| 46 | } |
---|
| 47 | .varlist>tbody>td>td:last-child, .varlist>thead>tr>td:last-child { |
---|
| 48 | padding-right: 8px; |
---|
| 49 | } |
---|
| 50 | |
---|
| 51 | .highlight pre { |
---|
| 52 | overflow-x: auto; |
---|
| 53 | overflow-wrap: normal; |
---|
| 54 | white-space: pre |
---|
| 55 | } |
---|
| 56 | |
---|
| 57 | /* .hl is for when line numbers are included, .highlight is for all |
---|
| 58 | other cases. */ |
---|
| 59 | .hl pre { |
---|
| 60 | counter-reset: line-numbering; |
---|
| 61 | overflow-x: auto; |
---|
| 62 | overflow-wrap: normal; |
---|
| 63 | white-space: pre; |
---|
| 64 | padding: 0; |
---|
| 65 | padding-right: 9.5px; |
---|
| 66 | overflow-y: hidden; |
---|
| 67 | padding-bottom: 9.5px; |
---|
| 68 | } |
---|
| 69 | |
---|
| 70 | .hl pre a::before { |
---|
| 71 | content: counter(line-numbering); |
---|
| 72 | counter-increment: line-numbering; |
---|
| 73 | padding-right: 0.7em; /* space after numbers */ |
---|
| 74 | margin-top: 4.5em; |
---|
| 75 | width: 60px; |
---|
| 76 | text-align: right; |
---|
| 77 | opacity: 0.7; |
---|
| 78 | display: inline-block; |
---|
| 79 | color: #aaa; |
---|
| 80 | background: #eee; |
---|
| 81 | margin-right: 10px; |
---|
| 82 | border-right: 1px solid #ccc; |
---|
| 83 | -webkit-touch-callout: none; |
---|
| 84 | -webkit-user-select: none; |
---|
| 85 | -khtml-user-select: none; |
---|
| 86 | -moz-user-select: none; |
---|
| 87 | -ms-user-select: none; |
---|
| 88 | user-select: none; |
---|
| 89 | } |
---|
| 90 | |
---|
| 91 | .hl pre a:first-of-type::before { |
---|
| 92 | padding-top: 9.5px; |
---|
| 93 | } |
---|
| 94 | |
---|
| 95 | .hl pre a:last-of-type::before { |
---|
| 96 | padding-bottom: 9.5px; |
---|
| 97 | } |
---|
| 98 | |
---|
| 99 | .hl pre a:only-of-type::before { |
---|
| 100 | padding: 9.5px; |
---|
| 101 | } |
---|
| 102 | |
---|
| 103 | .hl pre a { |
---|
[d9abaac] | 104 | display: inline-block; |
---|
| 105 | height: 4.5em; |
---|
| 106 | margin: -4.5em 0 0; |
---|
[ee06999] | 107 | } |
---|
| 108 | .codesum h3 { |
---|
| 109 | margin-top: 2px; |
---|
| 110 | margin-bottom: 2px; |
---|
| 111 | } |
---|
| 112 | |
---|
| 113 | h1.inline, h2.inline, h3.inline { |
---|
| 114 | display: inline; |
---|
| 115 | } |
---|
| 116 | |
---|
| 117 | .depwarn { |
---|
| 118 | float: right; |
---|
| 119 | } |
---|
| 120 | |
---|
| 121 | .anchor { |
---|
| 122 | position: absolute; |
---|
| 123 | margin: -4.5em; |
---|
| 124 | visibility:hidden; |
---|
| 125 | } |
---|
| 126 | |
---|
| 127 | .alert { |
---|
| 128 | margin-left: 5px; |
---|
| 129 | margin-right: 5px; |
---|
| 130 | margin-top: 5px; |
---|
| 131 | } |
---|
| 132 | |
---|
| 133 | div.toc { |
---|
| 134 | font-size: 14.73px; |
---|
| 135 | padding-left: 0px; |
---|
| 136 | padding-right: 0px; |
---|
| 137 | } |
---|
| 138 | |
---|
| 139 | div.toc a { |
---|
| 140 | padding-left: 20px; |
---|
| 141 | padding-right: 20px; |
---|
| 142 | margin-right: 15px; |
---|
| 143 | padding-top: 5px; |
---|
| 144 | padding-bottom: 5px; |
---|
| 145 | } |
---|
| 146 | |
---|
| 147 | div.toc li { |
---|
| 148 | font-size: 0.95em; |
---|
| 149 | padding-left: 15px; |
---|
| 150 | } |
---|
| 151 | |
---|
| 152 | div.toc li.title { |
---|
| 153 | font-size: 1em; |
---|
| 154 | } |
---|
| 155 | |
---|
| 156 | div.toc hr { |
---|
| 157 | margin-top: 12px; |
---|
| 158 | margin-bottom: 10px; |
---|
| 159 | } |
---|
| 160 | |
---|
| 161 | .in-well { |
---|
| 162 | padding: 0px 0px; |
---|
| 163 | margin-bottom: 0px; |
---|
| 164 | float:right; |
---|
| 165 | } |
---|
| 166 | |
---|
| 167 | table tr.submod>td { |
---|
| 168 | border-top: none; |
---|
| 169 | font-size: 13.5px; |
---|
| 170 | } |
---|
| 171 | |
---|
| 172 | .graph-help { |
---|
| 173 | font-size: 10px; |
---|
| 174 | } |
---|
| 175 | |
---|
| 176 | .depgraph { |
---|
| 177 | width: 100%; |
---|
| 178 | max-width: 1140px; |
---|
| 179 | } |
---|
| 180 | |
---|
| 181 | #sidebar a { |
---|
| 182 | white-space: nowrap; |
---|
| 183 | overflow: hidden; |
---|
| 184 | text-overflow: ellipsis; |
---|
| 185 | } |
---|
| 186 | |
---|
| 187 | .highlighttable { |
---|
| 188 | width: auto; |
---|
| 189 | table-layout: fixed; |
---|
| 190 | } |
---|
| 191 | |
---|
| 192 | ul.checklist { |
---|
| 193 | list-style-type: none; |
---|
| 194 | } |
---|
| 195 | |
---|
| 196 | ul.checklist input[type="checkbox"] { |
---|
| 197 | margin-left: -20.8px; |
---|
| 198 | margin-right: 4.55px; |
---|
| 199 | } |
---|
| 200 | |
---|
| 201 | .gitter-chat-embed { |
---|
| 202 | z-index: 100000; |
---|
| 203 | } |
---|
[2d1c338] | 204 | |
---|
| 205 | table.graph { |
---|
| 206 | text-align: center; |
---|
| 207 | } |
---|
| 208 | |
---|
| 209 | |
---|
| 210 | .graph td.root { |
---|
| 211 | border:2px solid black; |
---|
| 212 | padding:10px; |
---|
| 213 | } |
---|
| 214 | |
---|
| 215 | .graph td.triangle-right:after { |
---|
| 216 | content: ""; |
---|
| 217 | display: block; |
---|
| 218 | border-top: 7px solid transparent; |
---|
| 219 | border-bottom: 7px solid transparent; |
---|
| 220 | border-left: 7px solid black; |
---|
| 221 | } |
---|
| 222 | |
---|
| 223 | .graph td.triangle-left:after { |
---|
| 224 | content: ""; |
---|
| 225 | display: block; |
---|
| 226 | border-top: 7px solid transparent; |
---|
| 227 | border-bottom: 7px solid transparent; |
---|
| 228 | border-right: 7px solid black; |
---|
| 229 | } |
---|
| 230 | |
---|
| 231 | .graph td.node { |
---|
| 232 | color: white; |
---|
| 233 | padding:10px; |
---|
| 234 | border-style: solid; |
---|
| 235 | border-width: 3px 0px 3px 0px; |
---|
| 236 | border-color: white; |
---|
| 237 | } |
---|
| 238 | |
---|
| 239 | .graph td.node a{ |
---|
| 240 | color: white; |
---|
| 241 | } |
---|
| 242 | |
---|
| 243 | .graph td.dashedText, |
---|
| 244 | .graph td.solidText { |
---|
| 245 | padding: 0px 10px 0px 10px; |
---|
| 246 | min-width: 40px; |
---|
| 247 | color: black; |
---|
| 248 | border-color: black; |
---|
| 249 | } |
---|
| 250 | |
---|
| 251 | .graph td.dashedText { |
---|
| 252 | border-bottom-style: dashed; |
---|
| 253 | } |
---|
| 254 | |
---|
| 255 | .graph td.solidText { |
---|
| 256 | border-bottom-style: solid; |
---|
| 257 | } |
---|
| 258 | |
---|
| 259 | .graph td.dashedBottom, |
---|
| 260 | .graph td.dashedTop, |
---|
| 261 | .graph td.solidTop, |
---|
| 262 | .graph td.solidBottom { |
---|
| 263 | min-width: 40px; |
---|
| 264 | color: transparent; |
---|
| 265 | border-color: black; |
---|
| 266 | } |
---|
| 267 | |
---|
| 268 | .graph td.dashedBottom { |
---|
| 269 | border-bottom-style: dashed; |
---|
| 270 | } |
---|
| 271 | |
---|
| 272 | .graph td.dashedTop { |
---|
| 273 | border-top-style: dashed; |
---|
| 274 | } |
---|
| 275 | |
---|
| 276 | .graph td.solidBottom { |
---|
| 277 | border-bottom-style: solid; |
---|
| 278 | } |
---|
| 279 | |
---|
| 280 | .graph td.solidTop { |
---|
| 281 | border-top-style: solid; |
---|
| 282 | } |
---|