1- /* See FiraSans-LICENSE.txt for the Fira Sans license. */
2- @font-face {
3- font-family : 'Fira Sans' ;
4- font-style : normal;
5- font-weight : 400 ;
6- src : local ('Fira Sans' ),
7- url ("FiraSans-Regular.woff2" ) format ("woff2" ),
8- url ("FiraSans-Regular.woff" ) format ('woff' );
9- font-display : swap;
10- }
11- @font-face {
12- font-family : 'Fira Sans' ;
13- font-style : normal;
14- font-weight : 500 ;
15- src : local ('Fira Sans Medium' ),
16- url ("FiraSans-Medium.woff2" ) format ("woff2" ),
17- url ("FiraSans-Medium.woff" ) format ('woff' );
18- font-display : swap;
19- }
20-
21- /* See SourceSerif4-LICENSE.md for the Source Serif 4 license. */
22- @font-face {
23- font-family : 'Source Serif 4' ;
24- font-style : normal;
25- font-weight : 400 ;
26- src : local ('Source Serif 4' ), url ("SourceSerif4-Regular.ttf.woff" ) format ('woff' );
27- font-display : swap;
28- }
29- @font-face {
30- font-family : 'Source Serif 4' ;
31- font-style : italic;
32- font-weight : 400 ;
33- src : local ('Source Serif 4 Italic' ), url ("SourceSerif4-It.ttf.woff" ) format ('woff' );
34- font-display : swap;
35- }
36- @font-face {
37- font-family : 'Source Serif 4' ;
38- font-style : normal;
39- font-weight : 700 ;
40- src : local ('Source Serif 4 Bold' ), url ("SourceSerif4-Bold.ttf.woff" ) format ('woff' );
41- font-display : swap;
42- }
43-
44- /* See SourceCodePro-LICENSE.txt for the Source Code Pro license. */
45- @font-face {
46- font-family : 'Source Code Pro' ;
47- font-style : normal;
48- font-weight : 400 ;
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' );
52- font-display : swap;
53- }
54- @font-face {
55- font-family : 'Source Code Pro' ;
56- font-style : italic;
57- font-weight : 400 ;
58- src : url ("SourceCodePro-It.ttf.woff" ) format ('woff' );
59- font-display : swap;
60- }
61- @font-face {
62- font-family : 'Source Code Pro' ;
63- font-style : normal;
64- font-weight : 600 ;
65- src : url ("SourceCodePro-Semibold.ttf.woff" ) format ('woff' );
66- font-display : swap;
67- }
68-
69- * : not (body ) {
70- -webkit-box-sizing : border-box;
71- -moz-box-sizing : border-box;
72- box-sizing : border-box;
73- }
74-
751/* General structure */
762
773body {
78- background-color : white;
794 margin : 0 auto;
805 padding : 0 15px ;
81- font-family : "Source Serif 4" , Georgia, Times, "Times New Roman" , serif;
826 font-size : 18px ;
837 color : # 333 ;
848 line-height : 1.428571429 ;
85-
86- -webkit-font-feature-settings : "kern" , "liga" ;
87- -moz-font-feature-settings : "kern" , "liga" ;
88- font-feature-settings : "kern" , "liga" ;
9+ box-sizing : unset;
8910}
9011@media (min-width : 768px ) {
9112 body {
9213 max-width : 750px ;
9314 }
9415}
9516
96- h1 , h2 , h3 , h4 , h5 , h6 , nav , # versioninfo {
97- font-family : "Fira Sans" , "Helvetica Neue" , Helvetica, Arial, sans-serif;
98- }
99- h1 , h2 , h3 , h4 , h5 , h6 {
100- color : black;
17+ h2 , h3 , h4 , h5 , h6 {
10118 font-weight : 400 ;
10219 line-height : 1.1 ;
10320}
@@ -107,19 +24,20 @@ h1, h2, h3 {
10724}
10825h1 {
10926 margin-bottom : 20px ;
27+ line-height : 1.1 ;
11028}
11129h4 , h5 , h6 {
11230 margin-top : 12px ;
11331 margin-bottom : 10px ;
11432 padding : 5px 10px ;
11533}
11634h5 , h6 {
35+ color : black;
11736 text-decoration : underline;
11837}
11938
12039h1 {
12140 font-size : 28px ;
122- font-weight : 500 ;
12341 padding : .1em .4em ;
12442 border-bottom : 2px solid # ddd ;
12543}
@@ -129,15 +47,14 @@ h1.title {
12947h2 {
13048 font-size : 26px ;
13149 padding : .2em .5em ;
132- border-bottom : 1px solid # ddd ;
13350}
13451h3 {
13552 font-size : 24px ;
13653 padding : .2em .7em ;
137- border-bottom : 1px solid # DDE8FC ;
13854}
13955h4 {
14056 font-size : 22px ;
57+ border-bottom : none;
14158}
14259h5 {
14360 font-size : 20px ;
@@ -188,9 +105,7 @@ footer {
188105/* Links layout */
189106
190107a {
191- text-decoration : none;
192108 color : # 428BCA ;
193- background : transparent;
194109}
195110a : hover , a : focus {
196111 color : # 2A6496 ;
@@ -208,19 +123,15 @@ a:hover, a:active {
208123h1 a : link , h1 a : visited , h2 a : link , h2 a : visited ,
209124h3 a : link , h3 a : visited , h4 a : link , h4 a : visited ,
210125h5 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;}
213126
214127/* Code */
215128
216129pre , code {
217- font-family : "Source Code Pro" , Menlo, Monaco, Consolas, "DejaVu Sans Mono" , monospace;
218130 word-wrap : break-word;
219131}
220132pre {
221133 border-left : 2px solid # eee ;
222134 white-space : pre-wrap;
223- padding : 14px ;
224135 padding-right : 0 ;
225136 margin : 20px 0 ;
226137 font-size : 15px ;
@@ -244,19 +155,6 @@ a > code {
244155 color : # 8D1A38 ;
245156}
246157
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 ; }
257-
258- /* The rest */
259-
260158# versioninfo {
261159 text-align : center;
262160 margin : 0.5em ;
@@ -298,9 +196,6 @@ blockquote p:last-child {
298196 margin-bottom : 0 ;
299197}
300198
301- ul , ol {
302- padding-left : 25px ;
303- }
304199ul ul , ol ul , ul ol , ol ol {
305200 margin-bottom : 0 ;
306201}
@@ -355,22 +250,8 @@ table th {
355250
356251/* Code snippets */
357252
358- .example-wrap { position : relative; }
359- pre .rust { position : relative; }
360253a .test-arrow {
361- background-color : rgba (78 , 139 , 202 , 0.2 );
362- display : inline-block;
363- position : absolute;
364- color : # f5f5f5 ;
365- padding : 5px 10px 5px 10px ;
366- border-radius : 5px ;
367- font-size : 130% ;
368- top : 5px ;
369- right : 5px ;
370- }
371- a .test-arrow : hover {
372- background-color : # 4e8bca ;
373- text-decoration : none;
254+ color : # f5f5f5
374255}
375256
376257.unstable-feature {
@@ -439,19 +320,6 @@ a.test-arrow:hover{
439320 position : relative;
440321}
441322
442- .information {
443- position : absolute;
444- left : -25px ;
445- margin-top : 7px ;
446- z-index : 1 ;
447- }
448-
449- .tooltip {
450- position : relative;
451- display : inline-block;
452- cursor : pointer;
453- }
454-
455323.tooltip .tooltiptext {
456324 width : 120px ;
457325 display : none;
0 commit comments