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
-
75
1
/* General structure */
76
2
77
3
body {
78
- background-color : white;
79
4
margin : 0 auto;
80
5
padding : 0 15px ;
81
- font-family : "Source Serif 4" , Georgia, Times, "Times New Roman" , serif;
82
6
font-size : 18px ;
83
7
color : # 333 ;
84
8
line-height : 1.428571429 ;
85
9
86
- -webkit-font-feature-settings : "kern" , "liga" ;
87
- -moz-font-feature-settings : "kern" , "liga" ;
88
- font-feature-settings : "kern" , "liga" ;
10
+ -webkit-box-sizing : unset ;
11
+ -moz-box-sizing : unset ;
12
+ box-sizing : unset ;
89
13
}
90
14
@media (min-width : 768px ) {
91
15
body {
92
16
max-width : 750px ;
93
17
}
94
18
}
95
19
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;
20
+ h2 , h3 , h4 , h5 , h6 {
101
21
font-weight : 400 ;
102
22
line-height : 1.1 ;
103
23
}
@@ -107,13 +27,15 @@ h1, h2, h3 {
107
27
}
108
28
h1 {
109
29
margin-bottom : 20px ;
30
+ line-height : 1.1 ;
110
31
}
111
32
h4 , h5 , h6 {
112
33
margin-top : 12px ;
113
34
margin-bottom : 10px ;
114
35
padding : 5px 10px ;
115
36
}
116
37
h5 , h6 {
38
+ color : black;
117
39
text-decoration : underline;
118
40
}
119
41
138
60
}
139
61
h4 {
140
62
font-size : 22px ;
63
+ border-bottom : none;
141
64
}
142
65
h5 {
143
66
font-size : 20px ;
@@ -208,19 +131,15 @@ a:hover, a:active {
208
131
h1 a : link , h1 a : visited , h2 a : link , h2 a : visited ,
209
132
h3 a : link , h3 a : visited , h4 a : link , h4 a : visited ,
210
133
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;}
213
134
214
135
/* Code */
215
136
216
137
pre , code {
217
- font-family : "Source Code Pro" , Menlo, Monaco, Consolas, "DejaVu Sans Mono" , monospace;
218
138
word-wrap : break-word;
219
139
}
220
140
pre {
221
141
border-left : 2px solid # eee ;
222
142
white-space : pre-wrap;
223
- padding : 14px ;
224
143
padding-right : 0 ;
225
144
margin : 20px 0 ;
226
145
font-size : 15px ;
@@ -244,19 +163,6 @@ a > code {
244
163
color : # 8D1A38 ;
245
164
}
246
165
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
-
260
166
# versioninfo {
261
167
text-align : center;
262
168
margin : 0.5em ;
@@ -298,9 +204,6 @@ blockquote p:last-child {
298
204
margin-bottom : 0 ;
299
205
}
300
206
301
- ul , ol {
302
- padding-left : 25px ;
303
- }
304
207
ul ul , ol ul , ul ol , ol ol {
305
208
margin-bottom : 0 ;
306
209
}
@@ -355,22 +258,8 @@ table th {
355
258
356
259
/* Code snippets */
357
260
358
- .example-wrap { position : relative; }
359
- pre .rust { position : relative; }
360
261
a .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;
262
+ color : # f5f5f5
374
263
}
375
264
376
265
.unstable-feature {
@@ -439,19 +328,6 @@ a.test-arrow:hover{
439
328
position : relative;
440
329
}
441
330
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
-
455
331
.tooltip .tooltiptext {
456
332
width : 120px ;
457
333
display : none;
0 commit comments