2 * Copyright 2013-2014 The Rust Project Developers. See the COPYRIGHT
3 * file at the top-level directory of this distribution and at
4 * http://rust-lang.org/COPYRIGHT.
5 * With elements taken from Bootstrap v3.0.2 (MIT licensed).
7 * Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
8 * http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
9 * <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
10 * option. This file may not be copied, modified, or distributed
11 * except according to those terms.
14 font-family: 'Fira Sans';
17 src: local('Fira Sans'), url("FiraSans-Regular.woff") format('woff');
20 font-family: 'Fira Sans';
23 src: local('Fira Sans Medium'), url("FiraSans-Medium.woff") format('woff');
26 font-family: 'Source Serif Pro';
29 src: local('Source Serif Pro'), url("SourceSerifPro-Regular.woff") format('woff');
32 font-family: 'Source Serif Pro';
35 src: url("Heuristica-Italic.woff") format('woff');
38 font-family: 'Source Serif Pro';
41 src: local('Source Serif Pro Bold'), url("SourceSerifPro-Bold.woff") format('woff');
44 font-family: 'Source Code Pro';
47 src: local('Source Code Pro'), url("SourceCodePro-Regular.woff") format('woff');
51 -webkit-box-sizing: border-box;
52 -moz-box-sizing: border-box;
53 box-sizing: border-box;
56 /* General structure */
59 background-color: white;
62 font-family: "Source Serif Pro", Georgia, Times, "Times New Roman", serif;
65 line-height: 1.428571429;
67 -webkit-font-feature-settings: "kern", "liga";
68 -moz-font-feature-settings: "kern", "liga";
69 font-feature-settings: "kern", "liga";
71 @media (min-width: 768px) {
77 h1, h2, h3, h4, h5, h6, nav, #versioninfo {
78 font-family: "Fira Sans", "Helvetica Neue", Helvetica, Arial, sans-serif;
80 h1, h2, h3, h4, h5, h6 {
98 text-decoration: underline;
105 border-bottom: 2px solid #ddd;
113 border-bottom: 1px solid #ddd;
118 border-bottom: 1px solid #DDE8FC;
129 @media (min-width: 992px) {
143 -moz-column-count: 2;
144 -webkit-column-count: 2;
161 border-top: 1px solid #ddd;
172 text-decoration: none;
174 background: transparent;
178 text-decoration: underline;
181 outline: thin dotted #333;
182 outline: 5px auto -webkit-focus-ring-color;
183 outline-offset: -2px;
189 h1 a:link, h1 a:visited, h2 a:link, h2 a:visited,
190 h3 a:link, h3 a:visited, h4 a:link, h4 a:visited,
191 h5 a:link, h5 a:visited {color: black;}
192 h1 a:hover, h2 a:hover, h3 a:hover, h4 a:hover,
193 h5 a:hover {text-decoration: none;}
198 font-family: "Source Code Pro", Menlo, Monaco, Consolas, "DejaVu Sans Mono", monospace;
199 word-wrap: break-word;
202 border-left: 2px solid #eee;
203 white-space: pre-wrap;
208 word-break: break-all;
224 .section-header > a > code {
228 /* Code highlighting */
229 pre.rust .kw { color: #8959A8; }
230 pre.rust .kw-2, pre.rust .prelude-ty { color: #4271AE; }
231 pre.rust .number, pre.rust .string { color: #718C00; }
232 pre.rust .self, pre.rust .boolval, pre.rust .prelude-val,
233 pre.rust .attribute, pre.rust .attribute .ident { color: #C82829; }
234 pre.rust .comment { color: #8E908C; }
235 pre.rust .doccomment { color: #4D4D4C; }
236 pre.rust .macro, pre.rust .macro-nonterminal { color: #3E999F; }
237 pre.rust .lifetime { color: #B76514; }
246 @media (min-width: 992px) {
254 background-color: #fff;
260 #versioninfo a.hash {
269 background-color: #f2f7f9;
270 border-top: .1em solid #e5eef2;
271 border-bottom: .1em solid #e5eef2;
278 blockquote p:last-child {
285 ul ul, ol ul, ul ol, ol ol {
296 list-style-type: none;
301 /* Only display one level of hierarchy in the TOC */
317 border-top: 1px solid #eeeeee;
321 border-collapse: collapse;
333 border: 1px solid #ddd;
339 .rusttest { display: none; }
340 pre.rust { position: relative; }
342 display: inline-block;
345 background-color: #4e8bca;
347 padding: 5px 10px 5px 10px;
355 border: 2px solid red;
359 @media (min-width: 1170px) {
367 text-shadow: none !important;
368 color: #000 !important;
369 background: transparent !important;
370 box-shadow: none !important;
373 text-decoration: underline;
376 content: " (" attr(href) ")";
378 footer a[href]:after {
381 a[href^="javascript:"]:after, a[href^="#"]:after {
385 border: 1px solid #999;
386 page-break-inside: avoid;
391 h1:not(.title), h2, h3 {
392 border-bottom: 0px none;
399 page-break-after: avoid;
402 border-collapse: collapse !important;
405 background-color: #fff !important;
409 #keyword-table-marker + table thead { display: none; }
410 #keyword-table-marker + table td { border: none; }
411 #keyword-table-marker + table {