1 /* See FiraSans-LICENSE.txt for the Fira Sans license. */
3 font-family: 'Fira Sans';
6 src: local('Fira Sans'),
7 url("FiraSans-Regular.woff2") format("woff2"),
8 url("FiraSans-Regular.woff") format('woff');
12 font-family: 'Fira Sans';
15 src: local('Fira Sans Medium'),
16 url("FiraSans-Medium.woff2") format("woff2"),
17 url("FiraSans-Medium.woff") format('woff');
21 /* See SourceSerif4-LICENSE.md for the Source Serif 4 license. */
23 font-family: 'Source Serif 4';
26 src: local('Source Serif 4'), url("SourceSerif4-Regular.ttf.woff") format('woff');
30 font-family: 'Source Serif 4';
33 src: local('Source Serif 4 Italic'), url("SourceSerif4-It.ttf.woff") format('woff');
37 font-family: 'Source Serif 4';
40 src: local('Source Serif 4 Bold'), url("SourceSerif4-Bold.ttf.woff") format('woff');
44 /* See SourceCodePro-LICENSE.txt for the Source Code Pro license. */
46 font-family: 'Source Code Pro';
49 /* Avoid using locally installed font because bad versions are in circulation:
50 * see https://github.com/rust-lang/rust/issues/24355 */
51 src: url("SourceCodePro-Regular.ttf.woff") format('woff');
55 font-family: 'Source Code Pro';
58 src: url("SourceCodePro-It.ttf.woff") format('woff');
62 font-family: 'Source Code Pro';
65 src: url("SourceCodePro-Semibold.ttf.woff") format('woff');
70 -webkit-box-sizing: border-box;
71 -moz-box-sizing: border-box;
72 box-sizing: border-box;
75 /* General structure */
78 background-color: white;
81 font-family: "Source Serif 4", Georgia, Times, "Times New Roman", serif;
84 line-height: 1.428571429;
86 -webkit-font-feature-settings: "kern", "liga";
87 -moz-font-feature-settings: "kern", "liga";
88 font-feature-settings: "kern", "liga";
90 @media (min-width: 768px) {
96 h1, h2, h3, h4, h5, h6, nav, #versioninfo {
97 font-family: "Fira Sans", "Helvetica Neue", Helvetica, Arial, sans-serif;
99 h1, h2, h3, h4, h5, h6 {
117 text-decoration: underline;
124 border-bottom: 2px solid #ddd;
132 border-bottom: 1px solid #ddd;
137 border-bottom: 1px solid #DDE8FC;
148 @media (min-width: 992px) {
162 -moz-column-count: 2;
163 -webkit-column-count: 2;
180 border-top: 1px solid #ddd;
191 text-decoration: none;
193 background: transparent;
197 text-decoration: underline;
200 outline: thin dotted #333;
201 outline: 5px auto -webkit-focus-ring-color;
202 outline-offset: -2px;
208 h1 a:link, h1 a:visited, h2 a:link, h2 a:visited,
209 h3 a:link, h3 a:visited, h4 a:link, h4 a:visited,
210 h5 a:link, h5 a:visited {color: black;}
211 h1 a:hover, h2 a:hover, h3 a:hover, h4 a:hover,
212 h5 a:hover {text-decoration: none;}
217 font-family: "Source Code Pro", Menlo, Monaco, Consolas, "DejaVu Sans Mono", monospace;
218 word-wrap: break-word;
221 border-left: 2px solid #eee;
222 white-space: pre-wrap;
227 word-break: break-all;
243 .section-header > a > code {
247 /* Code highlighting */
248 pre.rust .kw { color: #8959A8; }
249 pre.rust .kw-2, pre.rust .prelude-ty { color: #4271AE; }
250 pre.rust .number, pre.rust .string { color: #718C00; }
251 pre.rust .self, pre.rust .bool-val, pre.rust .prelude-val,
252 pre.rust .attribute, pre.rust .attribute .ident { color: #C82829; }
253 pre.rust .comment { color: #8E908C; }
254 pre.rust .doccomment { color: #4D4D4C; }
255 pre.rust .macro, pre.rust .macro-nonterminal { color: #3E999F; }
256 pre.rust .lifetime { color: #B76514; }
265 @media (min-width: 992px) {
273 background-color: #fff;
279 #versioninfo a.hash {
288 background-color: #f2f7f9;
289 border-top: .1em solid #e5eef2;
290 border-bottom: .1em solid #e5eef2;
297 blockquote p:last-child {
304 ul ul, ol ul, ul ol, ol ol {
315 list-style-type: none;
320 /* Only display one level of hierarchy in the TOC */
336 border-top: 1px solid #eeeeee;
340 border-collapse: collapse;
352 border: 1px solid #ddd;
358 .example-wrap { position: relative; }
359 pre.rust { position: relative; }
361 background-color: rgba(78, 139, 202, 0.2);
362 display: inline-block;
365 padding: 5px 10px 5px 10px;
372 background-color: #4e8bca;
373 text-decoration: none;
377 border: 2px solid red;
381 @media (min-width: 1170px) {
389 text-shadow: none !important;
390 color: #000 !important;
391 background: transparent !important;
392 box-shadow: none !important;
395 text-decoration: underline;
398 content: " (" attr(href) ")";
400 footer a[href]:after {
403 a[href^="javascript:"]:after, a[href^="#"]:after {
407 border: 1px solid #999;
408 page-break-inside: avoid;
413 h1:not(.title), h2, h3 {
414 border-bottom: 0px none;
421 page-break-after: avoid;
424 border-collapse: collapse !important;
427 background-color: #fff !important;
431 #keyword-table-marker + table thead { display: none; }
432 #keyword-table-marker + table td { border: none; }
433 #keyword-table-marker + table {
451 display: inline-block;
455 .tooltip .tooltiptext {
467 .tooltip:hover .tooltiptext {
471 .tooltip .tooltiptext::after {