fix: Set toc-backdrop z-index to 9, restore toc to 10

This gives the right layering effects on smalls screens.
leanprover · Jan 30, 2025 · c128515 · c128515
1 parent e89e49f
commit c128515
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/verso-manual/VersoManual/Html/Style.lean b/src/verso-manual/VersoManual/Html/Style.lean
@@ -111,7 +111,7 @@ pre, code {
 
 .with-toc #toc {
     position: fixed;
-    z-index: 9;
+    z-index: 10;
 }
 
 /** Non-mobile **/
@@ -144,7 +144,7 @@ pre, code {
         display: block;
     }
     body:has(#toggle-toc:checked) .toc-backdrop {
-        position: fixed; inset: 0; background-color: #aaa8; z-index: 1;
+        position: fixed; inset: 0; background-color: #aaa8; z-index: 9;
     }
     html:has(#toggle-toc:checked) {
         overflow: hidden;