-/* See FiraSans-LICENSE.txt for the Fira Sans license. */
-@font-face {
- font-family: 'Fira Sans';
- font-style: normal;
- font-weight: 400;
- src: local('Fira Sans'),
- url("FiraSans-Regular.woff2") format("woff2"),
- url("FiraSans-Regular.woff") format('woff');
- font-display: swap;
-}
-@font-face {
- font-family: 'Fira Sans';
- font-style: normal;
- font-weight: 500;
- src: local('Fira Sans Medium'),
- url("FiraSans-Medium.woff2") format("woff2"),
- url("FiraSans-Medium.woff") format('woff');
- font-display: swap;
-}
-
-/* See SourceSerif4-LICENSE.md for the Source Serif 4 license. */
-@font-face {
- font-family: 'Source Serif 4';
- font-style: normal;
- font-weight: 400;
- src: local('Source Serif 4'), url("SourceSerif4-Regular.ttf.woff") format('woff');
- font-display: swap;
-}
-@font-face {
- font-family: 'Source Serif 4';
- font-style: italic;
- font-weight: 400;
- src: local('Source Serif 4 Italic'), url("SourceSerif4-It.ttf.woff") format('woff');
- font-display: swap;
-}
-@font-face {
- font-family: 'Source Serif 4';
- font-style: normal;
- font-weight: 700;
- src: local('Source Serif 4 Bold'), url("SourceSerif4-Bold.ttf.woff") format('woff');
- font-display: swap;
-}
-
-/* See SourceCodePro-LICENSE.txt for the Source Code Pro license. */
-@font-face {
- font-family: 'Source Code Pro';
- font-style: normal;
- font-weight: 400;
- /* Avoid using locally installed font because bad versions are in circulation:
- * see https://github.com/rust-lang/rust/issues/24355 */
- src: url("SourceCodePro-Regular.ttf.woff") format('woff');
- font-display: swap;
-}
-@font-face {
- font-family: 'Source Code Pro';
- font-style: italic;
- font-weight: 400;
- src: url("SourceCodePro-It.ttf.woff") format('woff');
- font-display: swap;
-}
-@font-face {
- font-family: 'Source Code Pro';
- font-style: normal;
- font-weight: 600;
- src: url("SourceCodePro-Semibold.ttf.woff") format('woff');
- font-display: swap;
-}
-
-*:not(body) {
- -webkit-box-sizing: border-box;
- -moz-box-sizing: border-box;
- box-sizing: border-box;
-}
-
/* General structure */
body {
- background-color: white;
margin: 0 auto;
padding: 0 15px;
- font-family: "Source Serif 4", Georgia, Times, "Times New Roman", serif;
font-size: 18px;
color: #333;
line-height: 1.428571429;
- -webkit-font-feature-settings: "kern", "liga";
- -moz-font-feature-settings: "kern", "liga";
- font-feature-settings: "kern", "liga";
+ -webkit-box-sizing: unset;
+ -moz-box-sizing: unset;
+ box-sizing: unset;
}
@media (min-width: 768px) {
body {
}
}
-h1, h2, h3, h4, h5, h6, nav, #versioninfo {
- font-family: "Fira Sans", "Helvetica Neue", Helvetica, Arial, sans-serif;
-}
-h1, h2, h3, h4, h5, h6 {
- color: black;
+h2, h3, h4, h5, h6 {
font-weight: 400;
line-height: 1.1;
}
}
h1 {
margin-bottom: 20px;
+ line-height: 1.1;
}
h4, h5, h6 {
margin-top: 12px;
padding: 5px 10px;
}
h5, h6 {
+ color: black;
text-decoration: underline;
}
}
h4 {
font-size: 22px;
+ border-bottom: none;
}
h5 {
font-size: 20px;
h1 a:link, h1 a:visited, h2 a:link, h2 a:visited,
h3 a:link, h3 a:visited, h4 a:link, h4 a:visited,
h5 a:link, h5 a:visited {color: black;}
-h1 a:hover, h2 a:hover, h3 a:hover, h4 a:hover,
-h5 a:hover {text-decoration: none;}
/* Code */
pre, code {
- font-family: "Source Code Pro", Menlo, Monaco, Consolas, "DejaVu Sans Mono", monospace;
word-wrap: break-word;
}
pre {
border-left: 2px solid #eee;
white-space: pre-wrap;
- padding: 14px;
padding-right: 0;
margin: 20px 0;
font-size: 15px;
color: #8D1A38;
}
-/* Code highlighting */
-pre.rust .kw { color: #8959A8; }
-pre.rust .kw-2, pre.rust .prelude-ty { color: #4271AE; }
-pre.rust .number, pre.rust .string { color: #718C00; }
-pre.rust .self, pre.rust .bool-val, pre.rust .prelude-val,
-pre.rust .attribute, pre.rust .attribute .ident { color: #C82829; }
-pre.rust .comment { color: #8E908C; }
-pre.rust .doccomment { color: #4D4D4C; }
-pre.rust .macro, pre.rust .macro-nonterminal { color: #3E999F; }
-pre.rust .lifetime { color: #B76514; }
-
-/* The rest */
-
#versioninfo {
text-align: center;
margin: 0.5em;
margin-bottom: 0;
}
-ul, ol {
- padding-left: 25px;
-}
ul ul, ol ul, ul ol, ol ol {
margin-bottom: 0;
}
/* Code snippets */
-.example-wrap { position: relative; }
-pre.rust { position: relative; }
a.test-arrow {
- background-color: rgba(78, 139, 202, 0.2);
- display: inline-block;
- position: absolute;
- color: #f5f5f5;
- padding: 5px 10px 5px 10px;
- border-radius: 5px;
- font-size: 130%;
- top: 5px;
- right: 5px;
-}
-a.test-arrow:hover{
- background-color: #4e8bca;
- text-decoration: none;
+ color: #f5f5f5
}
.unstable-feature {
position: relative;
}
-.information {
- position: absolute;
- left: -25px;
- margin-top: 7px;
- z-index: 1;
-}
-
-.tooltip {
- position: relative;
- display: inline-block;
- cursor: pointer;
-}
-
.tooltip .tooltiptext {
width: 120px;
display: none;