@@ -177,12 +177,21 @@ h1, h2, h3, h4 {
177
177
position : relative;
178
178
display : grid;
179
179
grid-template-areas :
180
+ "main-heading-breadcrumbs main-heading-breadcrumbs"
180
181
"main-heading-h1 main-heading-toolbar"
181
182
"main-heading-sub-heading main-heading-toolbar" ;
182
183
grid-template-columns : 1fr max-content;
184
+ grid-template-rows : 25px min-content min-content;
183
185
padding-bottom : 6px ;
184
186
margin-bottom : 15px ;
185
187
}
188
+ .rustdoc-breadcrumbs {
189
+ grid-area : main-heading-breadcrumbs;
190
+ height : 25px ;
191
+ line-height : 1.25 ;
192
+ display : flex;
193
+ align-items : end;
194
+ }
186
195
/* The only headings that get underlines are:
187
196
Markdown-generated headings within the top-doc
188
197
Rustdoc-generated h2 section headings (e.g. "Implementations", "Required Methods", etc)
@@ -228,6 +237,7 @@ a.src,
228
237
rustdoc-toolbar ,
229
238
summary .hideme ,
230
239
.scraped-example-list ,
240
+ .rustdoc-breadcrumbs ,
231
241
/* This selector is for the items listed in the "all items" page. */
232
242
ul .all-items {
233
243
font-family : "Fira Sans" , Arial, NanumBarunGothic, sans-serif;
@@ -890,9 +900,10 @@ both the code example and the line numbers, so we need to remove the radius in t
890
900
}
891
901
892
902
.sub-heading {
903
+ font-size : 1rem ;
893
904
flex-grow : 0 ;
894
- font-size : 1.125rem ;
895
905
grid-area : main-heading-sub-heading;
906
+ line-height : 1.25 ;
896
907
}
897
908
898
909
.main-heading rustdoc-toolbar , .main-heading .out-of-band {
@@ -953,7 +964,7 @@ div.where {
953
964
nav .sub {
954
965
flex-grow : 1 ;
955
966
flex-flow : row nowrap;
956
- margin : 4px 0 25 px 0 ;
967
+ margin : 4px 0 0 0 ;
957
968
display : flex;
958
969
align-items : center;
959
970
}
@@ -964,7 +975,7 @@ nav.sub {
964
975
flex-grow : 1 ;
965
976
}
966
977
.src nav .sub {
967
- margin : 0 0 15 px 0 ;
978
+ margin : 0 0 -10 px 0 ;
968
979
}
969
980
970
981
.section-header {
@@ -1074,6 +1085,11 @@ table,
1074
1085
with boxes (i.e. from the flex layout) */
1075
1086
align-items : baseline;
1076
1087
}
1088
+ .search-results-title + .sub-heading {
1089
+ color : var (--main-color );
1090
+ display : flex;
1091
+ align-items : center;
1092
+ }
1077
1093
# crate-search-div {
1078
1094
/* ensures that 100% in properties of #crate-search-div:after
1079
1095
are relative to the size of this div */
@@ -1298,15 +1314,15 @@ so that we can apply CSS-filters to change the arrow color in themes */
1298
1314
}
1299
1315
1300
1316
# settings .popover {
1301
- --popover-arrow-offset : 118 px ;
1302
- top : 26 px ;
1317
+ --popover-arrow-offset : 202 px ;
1318
+ top : calc ( 100 % - 12 px ) ;
1303
1319
}
1304
1320
1305
1321
/* use larger max-width for help popover, but not for help.html */
1306
1322
# help .popover {
1307
1323
max-width : 600px ;
1308
- --popover-arrow-offset : 36 px ;
1309
- top : 26 px ;
1324
+ --popover-arrow-offset : 118 px ;
1325
+ top : calc ( 100 % - 12 px ) ;
1310
1326
}
1311
1327
1312
1328
# help dt {
@@ -1722,7 +1738,6 @@ a.tooltip:hover::after {
1722
1738
}
1723
1739
1724
1740
# search-tabs {
1725
- grid-area : main-heading-sub-heading;
1726
1741
margin-top : 0.25rem ;
1727
1742
display : flex;
1728
1743
flex-direction : row;
@@ -1788,7 +1803,7 @@ a.tooltip:hover::after {
1788
1803
# settings-menu , # help-button , button # toggle-all-docs {
1789
1804
margin-left : var (--button-left-margin );
1790
1805
display : flex;
1791
- line-height : initial ;
1806
+ line-height : 1.25 ;
1792
1807
}
1793
1808
# sidebar-button {
1794
1809
display : none;
@@ -1873,7 +1888,8 @@ button#toggle-all-docs:before {
1873
1888
content : url ('data:image/svg+xml,<svg width="18" height="18" viewBox="0 0 12 12" \
1874
1889
enable-background= "new 0 0 12 12" xmlns="http://www.w3.org/2000/svg" fill="none">\
1875
1890
<circle r= "5.25" cx="6" cy="6" stroke-width="1.25" stroke="black"/>\
1876
- <text x= "4.25" y="9" style="font:8px sans-serif;font-weight:1000" fill="black">?</text></svg>');
1891
+ <text x= "6" y="7" style="font:8px sans-serif;font-weight:1000" text-anchor="middle" \
1892
+ dominant-baseline="middle" fill="black">?</text></svg>');
1877
1893
width : 18px ;
1878
1894
height : 18px ;
1879
1895
filter : var (--settings-menu-filter );
@@ -1894,10 +1910,19 @@ button#toggle-all-docs:before,
1894
1910
}
1895
1911
}
1896
1912
1913
+ button [disabled ]# toggle-all-docs {
1914
+ opacity : 0.25 ;
1915
+ border : solid 1px var (--main-background-color );
1916
+ background-size : cover;
1917
+ }
1918
+
1919
+ button [disabled ]# toggle-all-docs : hover {
1920
+ border : solid 1px var (--main-background-color );
1921
+ cursor : not-allowed;
1922
+ }
1923
+
1897
1924
rustdoc-toolbar span .label {
1898
- font-size : initial;
1899
- font-variant-caps : small-caps;
1900
- text-transform : lowercase;
1925
+ font-size : 1rem ;
1901
1926
flex-grow : 1 ;
1902
1927
}
1903
1928
@@ -2155,15 +2180,6 @@ However, it's not needed with smaller screen width because the doc/code block is
2155
2180
opacity : 0.75 ;
2156
2181
}
2157
2182
2158
- /* help button is mostly for search */
2159
- # help-button : not (.help-open ),
2160
- # alternative-display # toggle-all-docs {
2161
- display : none;
2162
- }
2163
- # alternative-display # help-button {
2164
- display : flex;
2165
- }
2166
-
2167
2183
/* Media Queries */
2168
2184
2169
2185
/* Make sure all the buttons line wrap at the same time */
@@ -2206,12 +2222,10 @@ in src-script.js and main.js
2206
2222
width : 33px ;
2207
2223
}
2208
2224
# settings .popover {
2209
- --popover-arrow-offset : 48px ;
2210
- top : calc (100% - 8px );
2225
+ --popover-arrow-offset : 86px ;
2211
2226
}
2212
2227
# help .popover {
2213
- --popover-arrow-offset : 12px ;
2214
- top : calc (100% - 8px );
2228
+ --popover-arrow-offset : 48px ;
2215
2229
}
2216
2230
2217
2231
.rustdoc {
@@ -2257,6 +2271,9 @@ in src-script.js and main.js
2257
2271
.src .search-form {
2258
2272
margin-left : 40px ;
2259
2273
}
2274
+ .src .main-heading {
2275
+ margin-left : 8px ;
2276
+ }
2260
2277
.hide-sidebar .search-form {
2261
2278
margin-left : 32px ;
2262
2279
}
@@ -2394,7 +2411,7 @@ in src-script.js and main.js
2394
2411
}
2395
2412
2396
2413
.src nav .sub {
2397
- margin : 0 ;
2414
+ margin : 0 0 -25 px 0 ;
2398
2415
padding : var (--nav-sub-mobile-padding );
2399
2416
}
2400
2417
}
0 commit comments