@@ -873,11 +873,11 @@ h2.small-section-header > .anchor {
873873
874874.search-container {
875875 position : relative;
876- max-width : 960px ;
876+ display : flex;
877+ height : 34px ;
877878}
878- .search-container > div {
879- display : inline-flex;
880- width : calc (100% - 63px );
879+ .search-container > * {
880+ height : 100% ;
881881}
882882.search-results-title {
883883 display : inline;
@@ -908,10 +908,8 @@ h2.small-section-header > .anchor {
908908 background-position : calc (100% - 1px ) 56% ;
909909 background-image : /* AUTOREPLACE: */ url ("down-arrow.svg" );
910910}
911- .search-container > .top-button {
912- position : absolute;
913- right : 0 ;
914- top : 10px ;
911+ .search-container {
912+ margin-top : 4px ;
915913}
916914.search-input {
917915 /* Override Normalize.css: it has a rule that sets
@@ -924,23 +922,14 @@ h2.small-section-header > .anchor {
924922 -moz-box-sizing : border-box !important ;
925923 box-sizing : border-box !important ;
926924 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 ;
931928 font-size : 1.0625rem ;
932929 transition : border-color 300ms ease;
933- transition : border-radius 300ms ease-in-out;
934- transition : box-shadow 300ms ease-in-out;
935930 width : 100% ;
936931}
937932
938- .search-input : focus {
939- border-radius : 2px ;
940- border : 0 ;
941- outline : 0 ;
942- }
943-
944933.search-results {
945934 display : none;
946935 padding-bottom : 2em ;
@@ -1414,43 +1403,36 @@ pre.rust {
14141403
14151404.theme-picker {
14161405 position : absolute;
1417- left : -34 px ;
1418- top : 9 px ;
1406+ left : -38 px ;
1407+ top : 4 px ;
14191408}
14201409
14211410.theme-picker button {
14221411 outline : none;
14231412}
14241413
14251414# settings-menu , # help-button {
1426- position : absolute;
1427- top : 10px ;
1428- }
1429-
1430- # settings-menu {
1431- right : 0 ;
1415+ margin-left : 4px ;
14321416 outline : none;
14331417}
14341418
1419+ # theme-picker , # copy-path {
1420+ height : 34px ;
1421+ }
14351422# 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 ;
14421425 border : 1px solid;
1443- border-radius : 3 px ;
1426+ border-radius : 2 px ;
14441427 cursor : pointer;
14451428}
14461429
14471430# help-button {
1448- right : 30px ;
14491431 font-family : "Fira Sans" , Arial, sans-serif;
14501432 text-align : center;
14511433 /* Rare exception to specifying font sizes in rem. Since this is acting
14521434 as an icon, it's okay to specify their sizes in pixels. */
1453- font-size : 16 px ;
1435+ font-size : 20 px ;
14541436 padding-top : 2px ;
14551437}
14561438
@@ -1887,10 +1869,6 @@ details.rustdoc-toggle[open] > summary.hideme::after {
18871869 display : none !important ;
18881870 }
18891871
1890- .theme-picker {
1891- z-index : 1 ;
1892- }
1893-
18941872 .notable-traits {
18951873 position : absolute;
18961874 left : -22px ;
@@ -1977,10 +1955,6 @@ details.rustdoc-toggle[open] > summary.hideme::after {
19771955 width : 100% ;
19781956 }
19791957
1980- .search-container > div {
1981- width : calc (100% - 32px );
1982- }
1983-
19841958 /* Display an alternating layout on tablets and phones */
19851959 .search-results > a {
19861960 border-bottom : 1px solid # aaa9 ;
@@ -2025,30 +1999,11 @@ details.rustdoc-toggle[open] > summary.hideme::after {
20251999 width : 50% ;
20262000 }
20272001
2028- .search-container > div {
2029- display : block;
2030- width : calc (100% - 37px );
2031- }
2032-
20332002 # crate-search {
20342003 border-radius : 4px ;
20352004 border : 0 ;
20362005 }
20372006
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-
20522007 .docblock {
20532008 margin-left : 12px ;
20542009 }
0 commit comments