From e7adb375a556eea15864848d8a6437ce85e01a2d Mon Sep 17 00:00:00 2001
From: Chanz Jryko Langreo <langreo.grim@gmail.com>
Date: Tue, 10 Mar 2026 22:10:35 +0800
Subject: [PATCH] make mobile nav bar sticky

---
 _static/css/custom.css | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/_static/css/custom.css b/_static/css/custom.css
index 9e12f438632..2f6b74b36c7 100644
--- a/_static/css/custom.css
+++ b/_static/css/custom.css
@@ -1562,6 +1562,11 @@ p + .classref-constant {
 
 /* Navigational top bar (mobile only) */
 
+.wy-nav-top {
+    position: sticky;
+    top: 0;
+}
+
 .wy-nav-top,
 .wy-nav-top a {
     background-color: var(--navbar-background-color);