@@ -1746,10 +1746,9 @@ a.tooltip:hover::after {
1746
1746
align-items : center;
1747
1747
justify-content : center;
1748
1748
flex-direction : column;
1749
- background-color : var (--button-background-color );
1750
1749
border : 1px solid transparent;
1751
1750
border-radius : var (--button-border-radius );
1752
- color : var (--settings-button -color );
1751
+ color : var (--main -color );
1753
1752
}
1754
1753
# settings-menu > a , # help-button > a , button # toggle-all-docs {
1755
1754
width : 80px ;
@@ -1815,10 +1814,12 @@ button#toggle-all-docs:before,
1815
1814
margin : 8px ;
1816
1815
}
1817
1816
1818
- button # toggle-all-docs : hover : before ,
1819
- # help-button : hover > a : before ,
1820
- # settings-menu : hover > a : before {
1821
- filter : var (--settings-menu-hover-filter );
1817
+ @media not (pointer : coarse) {
1818
+ button # toggle-all-docs : hover : before ,
1819
+ # help-button > a : hover : before ,
1820
+ # settings-menu > a : hover : before {
1821
+ filter : var (--settings-menu-hover-filter );
1822
+ }
1822
1823
}
1823
1824
1824
1825
rustdoc-toolbar span .label {
@@ -2102,6 +2103,17 @@ in src-script.js and main.js
2102
2103
scroll-margin-top : 45px ;
2103
2104
}
2104
2105
2106
+ /* Text label takes up too much space at this size. */
2107
+ rustdoc-toolbar span .label {
2108
+ display : none;
2109
+ }
2110
+ # settings-menu > a , # help-button > a , button # toggle-all-docs {
2111
+ width : 33px ;
2112
+ }
2113
+ # settings .popover {
2114
+ --popover-arrow-offset : 46px ;
2115
+ }
2116
+
2105
2117
.rustdoc {
2106
2118
/* Sidebar should overlay main content, rather than pushing main content to the right.
2107
2119
Turn off `display: flex` on the body element. */
0 commit comments