From aaf84cd09cc8e2f0ef81ef29d72b778d1e765334 Mon Sep 17 00:00:00 2001
From: phil <uniphil@gmail.com>
Date: Tue, 5 Aug 2025 12:54:47 -0400
Subject: [PATCH] hide models

idk do people use this? cleaner sidebar without
---
 slingshot/static/index.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/slingshot/static/index.html b/slingshot/static/index.html
index a08e0b5..74b0a3d 100644
--- a/slingshot/static/index.html
+++ b/slingshot/static/index.html
@@ -57,6 +57,7 @@
     <script>
       var configuration = {
         theme: 'purple',
+        hideModels: true,
       }
       document.getElementById('api-reference').dataset.configuration = JSON.stringify(configuration)
     </script>
-- 
knotmirror 0.0.1