From ecd38c70cc0ce9173d7cd1d7e4cc146558e4f66a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Carlos=20Z=C3=BA=C3=B1iga?= <carlos.zun@gmail.com>
Date: Fri, 9 Apr 2021 11:50:14 -0500
Subject: [PATCH] Fix langref.html anchor navigation

---
 doc/langref.html.in | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/doc/langref.html.in b/doc/langref.html.in
index 9aa106fb54..3515875c87 100644
--- 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;
         }