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 | |
---|
15 | :target:before { |
---|
16 | content:""; |
---|
17 | display:block; |
---|
18 | height:60px; |
---|
19 | margin:-60px 0 0; |
---|
20 | } |
---|
21 | |
---|
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 { |
---|
104 | display: inline-block; |
---|
105 | height: 4.5em; |
---|
106 | margin: -4.5em 0 0; |
---|
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 | } |
---|
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 | } |
---|