From c128515da1761f3c76a0e359a69a8877ab3d7b94 Mon Sep 17 00:00:00 2001
From: David Thrane Christiansen <david@davidchristiansen.dk>
Date: Thu, 30 Jan 2025 08:12:51 +0100
Subject: [PATCH] fix: Set toc-backdrop z-index to 9, restore toc to 10

This gives the right layering effects on smalls screens.
---
 src/verso-manual/VersoManual/Html/Style.lean | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/verso-manual/VersoManual/Html/Style.lean b/src/verso-manual/VersoManual/Html/Style.lean
index 419a859..de06bdf 100644
--- 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;