@@ -40,6 +40,9 @@ xmlns="http://www.w3.org/2000/svg" fill="black" height="18px">\
40
40
--docblock-indent : 24px ;
41
41
--mobile-top-navbar-height : 45px ;
42
42
--collapse-toggle-left : -24px ;
43
+ --main-top-padding : 10px ;
44
+ --search-top-margin : 4px ;
45
+ --sidebar-button-size : 34px ;
43
46
}
44
47
45
48
/* See FiraSans-LICENSE.txt for the Fira Sans license. */
@@ -367,7 +370,7 @@ button#toggle-all-docs {
367
370
main {
368
371
position : relative;
369
372
flex-grow : 1 ;
370
- padding : 10 px 15px 40px 45px ;
373
+ padding : var ( --main-top-padding ) 15px 40px 45px ;
371
374
min-width : 0 ; /* avoid growing beyond the size limit */
372
375
}
373
376
@@ -1005,7 +1008,7 @@ div.where {
1005
1008
nav .sub {
1006
1009
flex-grow : 1 ;
1007
1010
flex-flow : row nowrap;
1008
- margin : 4 px 0 0 0 ;
1011
+ margin : var ( --search-top-margin ) 0 0 0 ;
1009
1012
display : flex;
1010
1013
align-items : center;
1011
1014
}
@@ -1872,13 +1875,22 @@ a.tooltip:hover::after {
1872
1875
display : flex;
1873
1876
margin-right : 4px ;
1874
1877
position : fixed;
1875
- left : 6px ;
1876
- height : 34px ;
1877
- width : 34px ;
1878
1878
background-color : var (--main-background-color );
1879
1879
z-index : 1 ;
1880
1880
}
1881
+ .hide-sidebar # sidebar-button {
1882
+ left : 0 ;
1883
+ /* We need to do all this so this button is positioned correctly but also to hide everything
1884
+ going under beneath it. */
1885
+ height : calc (var (--sidebar-button-size ) + var (--main-top-padding ) + var (--search-top-margin ));
1886
+ /* 6px is the left padding */
1887
+ width : calc (var (--sidebar-button-size ) + 6px );
1888
+ padding-left : 6px ;
1889
+ padding-top : calc (var (--main-top-padding ) + var (--search-top-margin ));
1890
+ }
1881
1891
.src # sidebar-button {
1892
+ height : var (--sidebar-button-size );
1893
+ width : var (--sidebar-button-size );
1882
1894
left : 8px ;
1883
1895
z-index : calc (var (--desktop-sidebar-z-index ) + 1 );
1884
1896
}
0 commit comments