@@ -873,11 +873,11 @@ h2.small-section-header > .anchor {
873
873
874
874
.search-container {
875
875
position : relative;
876
- max-width : 960px ;
876
+ display : flex;
877
+ height : 34px ;
877
878
}
878
- .search-container > div {
879
- display : inline-flex;
880
- width : calc (100% - 63px );
879
+ .search-container > * {
880
+ height : 100% ;
881
881
}
882
882
.search-results-title {
883
883
display : inline;
@@ -908,10 +908,8 @@ h2.small-section-header > .anchor {
908
908
background-position : calc (100% - 1px ) 56% ;
909
909
background-image : /* AUTOREPLACE: */ url ("down-arrow.svg" );
910
910
}
911
- .search-container > .top-button {
912
- position : absolute;
913
- right : 0 ;
914
- top : 10px ;
911
+ .search-container {
912
+ margin-top : 4px ;
915
913
}
916
914
.search-input {
917
915
/* Override Normalize.css: it has a rule that sets
@@ -924,23 +922,14 @@ h2.small-section-header > .anchor {
924
922
-moz-box-sizing : border-box !important ;
925
923
box-sizing : border-box !important ;
926
924
outline : none;
927
- border : none;
928
- border-radius : 1px ;
929
- margin-top : 5px ;
930
- padding : 10px 16px ;
925
+ border : 1px solid;
926
+ border-radius : 2px ;
927
+ padding : 5px 8px ;
931
928
font-size : 1.0625rem ;
932
929
transition : border-color 300ms ease;
933
- transition : border-radius 300ms ease-in-out;
934
- transition : box-shadow 300ms ease-in-out;
935
930
width : 100% ;
936
931
}
937
932
938
- .search-input : focus {
939
- border-radius : 2px ;
940
- border : 0 ;
941
- outline : 0 ;
942
- }
943
-
944
933
.search-results {
945
934
display : none;
946
935
padding-bottom : 2em ;
@@ -1414,43 +1403,36 @@ pre.rust {
1414
1403
1415
1404
.theme-picker {
1416
1405
position : absolute;
1417
- left : -34 px ;
1418
- top : 9 px ;
1406
+ left : -38 px ;
1407
+ top : 4 px ;
1419
1408
}
1420
1409
1421
1410
.theme-picker button {
1422
1411
outline : none;
1423
1412
}
1424
1413
1425
1414
# settings-menu , # help-button {
1426
- position : absolute;
1427
- top : 10px ;
1428
- }
1429
-
1430
- # settings-menu {
1431
- right : 0 ;
1415
+ margin-left : 4px ;
1432
1416
outline : none;
1433
1417
}
1434
1418
1419
+ # theme-picker , # copy-path {
1420
+ height : 34px ;
1421
+ }
1435
1422
# theme-picker , # settings-menu , # help-button , # copy-path {
1436
- padding : 4px ;
1437
- /* Rare exception to specifying font sizes in rem. Since these are acting
1438
- as icons, it's okay to specify their sizes in pixels. */
1439
- font-size : 16px ;
1440
- width : 27px ;
1441
- height : 29px ;
1423
+ padding : 5px ;
1424
+ width : 33px ;
1442
1425
border : 1px solid;
1443
- border-radius : 3 px ;
1426
+ border-radius : 2 px ;
1444
1427
cursor : pointer;
1445
1428
}
1446
1429
1447
1430
# help-button {
1448
- right : 30px ;
1449
1431
font-family : "Fira Sans" , Arial, sans-serif;
1450
1432
text-align : center;
1451
1433
/* Rare exception to specifying font sizes in rem. Since this is acting
1452
1434
as an icon, it's okay to specify their sizes in pixels. */
1453
- font-size : 16 px ;
1435
+ font-size : 20 px ;
1454
1436
padding-top : 2px ;
1455
1437
}
1456
1438
@@ -1887,10 +1869,6 @@ details.rustdoc-toggle[open] > summary.hideme::after {
1887
1869
display : none !important ;
1888
1870
}
1889
1871
1890
- .theme-picker {
1891
- z-index : 1 ;
1892
- }
1893
-
1894
1872
.notable-traits {
1895
1873
position : absolute;
1896
1874
left : -22px ;
@@ -1977,10 +1955,6 @@ details.rustdoc-toggle[open] > summary.hideme::after {
1977
1955
width : 100% ;
1978
1956
}
1979
1957
1980
- .search-container > div {
1981
- width : calc (100% - 32px );
1982
- }
1983
-
1984
1958
/* Display an alternating layout on tablets and phones */
1985
1959
.search-results > a {
1986
1960
border-bottom : 1px solid # aaa9 ;
@@ -2025,30 +1999,11 @@ details.rustdoc-toggle[open] > summary.hideme::after {
2025
1999
width : 50% ;
2026
2000
}
2027
2001
2028
- .search-container > div {
2029
- display : block;
2030
- width : calc (100% - 37px );
2031
- }
2032
-
2033
2002
# crate-search {
2034
2003
border-radius : 4px ;
2035
2004
border : 0 ;
2036
2005
}
2037
2006
2038
- # theme-picker , # settings-menu {
2039
- padding : 5px ;
2040
- width : 31px ;
2041
- height : 31px ;
2042
- }
2043
-
2044
- # theme-picker {
2045
- margin-top : -2px ;
2046
- }
2047
-
2048
- # settings-menu {
2049
- top : 7px ;
2050
- }
2051
-
2052
2007
.docblock {
2053
2008
margin-left : 12px ;
2054
2009
}
0 commit comments