2 font-family: 'Fira Sans';
5 src: local('Fira Sans'), url("FiraSans-Regular.woff") format('woff');
8 font-family: 'Fira Sans';
11 src: local('Fira Sans Medium'), url("FiraSans-Medium.woff") format('woff');
14 font-family: 'Source Serif Pro';
17 src: local('Source Serif Pro'), url("SourceSerifPro-Regular.woff") format('woff');
20 font-family: 'Source Serif Pro';
23 src: url("Heuristica-Italic.woff") format('woff');
26 font-family: 'Source Serif Pro';
29 src: local('Source Serif Pro Bold'), url("SourceSerifPro-Bold.woff") format('woff');
32 font-family: 'Source Code Pro';
35 /* Avoid using locally installed font because bad versions are in circulation:
36 * see https://github.com/rust-lang/rust/issues/24355 */
37 src: url("SourceCodePro-Regular.woff") format('woff');
41 -webkit-box-sizing: border-box;
42 -moz-box-sizing: border-box;
43 box-sizing: border-box;
46 /* General structure */
49 background-color: white;
52 font-family: "Source Serif Pro", Georgia, Times, "Times New Roman", serif;
55 line-height: 1.428571429;
57 -webkit-font-feature-settings: "kern", "liga";
58 -moz-font-feature-settings: "kern", "liga";
59 font-feature-settings: "kern", "liga";
61 @media (min-width: 768px) {
67 h1, h2, h3, h4, h5, h6, nav, #versioninfo {
68 font-family: "Fira Sans", "Helvetica Neue", Helvetica, Arial, sans-serif;
70 h1, h2, h3, h4, h5, h6 {
88 text-decoration: underline;
95 border-bottom: 2px solid #ddd;
103 border-bottom: 1px solid #ddd;
108 border-bottom: 1px solid #DDE8FC;
119 @media (min-width: 992px) {
133 -moz-column-count: 2;
134 -webkit-column-count: 2;
151 border-top: 1px solid #ddd;
162 text-decoration: none;
164 background: transparent;
168 text-decoration: underline;
171 outline: thin dotted #333;
172 outline: 5px auto -webkit-focus-ring-color;
173 outline-offset: -2px;
179 h1 a:link, h1 a:visited, h2 a:link, h2 a:visited,
180 h3 a:link, h3 a:visited, h4 a:link, h4 a:visited,
181 h5 a:link, h5 a:visited {color: black;}
182 h1 a:hover, h2 a:hover, h3 a:hover, h4 a:hover,
183 h5 a:hover {text-decoration: none;}
188 font-family: "Source Code Pro", Menlo, Monaco, Consolas, "DejaVu Sans Mono", monospace;
189 word-wrap: break-word;
192 border-left: 2px solid #eee;
193 white-space: pre-wrap;
198 word-break: break-all;
214 .section-header > a > code {
218 /* Code highlighting */
219 pre.rust .kw { color: #8959A8; }
220 pre.rust .kw-2, pre.rust .prelude-ty { color: #4271AE; }
221 pre.rust .number, pre.rust .string { color: #718C00; }
222 pre.rust .self, pre.rust .bool-val, pre.rust .prelude-val,
223 pre.rust .attribute, pre.rust .attribute .ident { color: #C82829; }
224 pre.rust .comment { color: #8E908C; }
225 pre.rust .doccomment { color: #4D4D4C; }
226 pre.rust .macro, pre.rust .macro-nonterminal { color: #3E999F; }
227 pre.rust .lifetime { color: #B76514; }
236 @media (min-width: 992px) {
244 background-color: #fff;
250 #versioninfo a.hash {
259 background-color: #f2f7f9;
260 border-top: .1em solid #e5eef2;
261 border-bottom: .1em solid #e5eef2;
268 blockquote p:last-child {
275 ul ul, ol ul, ul ol, ol ol {
286 list-style-type: none;
291 /* Only display one level of hierarchy in the TOC */
307 border-top: 1px solid #eeeeee;
311 border-collapse: collapse;
323 border: 1px solid #ddd;
329 pre.rust { position: relative; }
331 background-color: rgba(78, 139, 202, 0.2);
332 display: inline-block;
335 padding: 5px 10px 5px 10px;
342 background-color: #4e8bca;
343 text-decoration: none;
347 border: 2px solid red;
351 @media (min-width: 1170px) {
359 text-shadow: none !important;
360 color: #000 !important;
361 background: transparent !important;
362 box-shadow: none !important;
365 text-decoration: underline;
368 content: " (" attr(href) ")";
370 footer a[href]:after {
373 a[href^="javascript:"]:after, a[href^="#"]:after {
377 border: 1px solid #999;
378 page-break-inside: avoid;
383 h1:not(.title), h2, h3 {
384 border-bottom: 0px none;
391 page-break-after: avoid;
394 border-collapse: collapse !important;
397 background-color: #fff !important;
401 #keyword-table-marker + table thead { display: none; }
402 #keyword-table-marker + table td { border: none; }
403 #keyword-table-marker + table {
421 display: inline-block;
425 .tooltip .tooltiptext {
437 .tooltip:hover .tooltiptext {
441 .tooltip .tooltiptext::after {