zig

commit ecd38c70cc0ce9173d7cd1d7e4cc146558e4f66a (tree)
parent ab43f2376e5aa0541cfe6902a44bd8943d1cb5ec
Author: Carlos Zúñiga <carlos.zun@gmail.com>
Date:   Fri,  9 Apr 2021 11:50:14 -0500

Fix langref.html anchor navigation

Diffstat:
M
doc/langref.html.in
 | 
6
+++++-

1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/doc/langref.html.in b/doc/langref.html.in
@@ -85,7 +85,6 @@
       #main-wrapper {
         display: flex;
         flex-direction: column;
-        height: 100vh;
       }
 
       #contents-wrapper {
@@ -106,6 +105,11 @@
         #main-wrapper {
             flex-direction: row;
         }
+        #toc {
+            height: 100vh;
+            position: sticky;
+            top: 0;
+        }
         #contents-wrapper, #toc {
             overflow: auto;
         }