user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

use css variable for z-index of the sidebar

Browse source 
and calculate the z-indices of things that go over the sidebar
This commit is contained in:
Lukas Markeffsky 2023-12-31 22:25:46 +01:00
parent 53637cdd8e
commit c4c4ff67fa
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/librustdoc/html/static/css/rustdoc.css
View file

@ -14,6 +14,7 @@
and on the RUSTDOC_MOBILE_BREAKPOINT */ and on the RUSTDOC_MOBILE_BREAKPOINT */
--desktop-sidebar-width: 200px; --desktop-sidebar-width: 200px;
--src-sidebar-width: 300px; --src-sidebar-width: 300px;
--desktop-sidebar-z-index: 100;
} }
/* See FiraSans-LICENSE.txt for the Fira Sans license. */ /* See FiraSans-LICENSE.txt for the Fira Sans license. */
@ -396,7 +397,7 @@ img {
height: 100vh; height: 100vh;
top: 0; top: 0;
left: 0; left: 0;
z-index: 100; z-index: var(--desktop-sidebar-z-index);
} }
.rustdoc.src .sidebar { .rustdoc.src .sidebar {
@ -416,7 +417,7 @@ img {
touch-action: none; touch-action: none;
width: 9px; width: 9px;
cursor: col-resize; cursor: col-resize;
z-index: 200; z-index: calc(var(--desktop-sidebar-z-index) + 1);
position: fixed; position: fixed;
height: 100%; height: 100%;
/* make sure there's a 1px gap between the scrollbar and resize handle */ /* make sure there's a 1px gap between the scrollbar and resize handle */
@ -448,7 +449,6 @@ img {
.sidebar-resizing .sidebar { .sidebar-resizing .sidebar {
position: fixed; position: fixed;
z-index: 100;
} }
.sidebar-resizing > body { .sidebar-resizing > body {
padding-left: var(--resizing-sidebar-width); padding-left: var(--resizing-sidebar-width);
@ -1059,7 +1059,7 @@ so that we can apply CSS-filters to change the arrow color in themes */
position: absolute; position: absolute;
top: 100%; top: 100%;
right: 0; right: 0;
z-index: 101; z-index: calc(var(--desktop-sidebar-z-index) + 1);
margin-top: 7px; margin-top: 7px;
border-radius: 3px; border-radius: 3px;
border: 1px solid var(--border-color); border: 1px solid var(--border-color);