From 9653eed8e7142d540f87d588354ad917e124f651 Mon Sep 17 00:00:00 2001
From: Victor Zverovich <viz@meta.com>
Date: Sun, 9 Jun 2024 06:36:11 -0700
Subject: [PATCH] Don't hide the navbar

---
 doc/fmt.css | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/doc/fmt.css b/doc/fmt.css
index 3c1a7b31..994d6e2e 100644
--- a/doc/fmt.css
+++ b/doc/fmt.css
@@ -6,6 +6,12 @@
   max-width: 960px;
 }
 
+@media (min-width: 400px) {
+  .md-tabs {
+    display: block;
+  }
+}
+
 .docblock {
   border-left: .05rem solid var(--md-primary-fg-color);
 }