...

web/main.css

@@ -76,7 +76,6 @@ header {
   overflow-x: hidden;
   flex-shrink: 1;
   padding-right: 1rem;
-  resize: horizontal;
 }
 
 @media screen and (max-width: 480px) {
@@ -87,7 +86,6 @@ header {
   header {
     width: 100%;
     max-width: 100%;
-    resize: none;
   }
 }
 
@@ -134,6 +132,11 @@ nav.files > a::before {
   content: '🗎 ';
 }
 
+nav.document nav {
+  border-left: var(--border);
+  border-color: gray;
+}
+
 nav.document a::before {
   content: '🕮 ';
 }