hide buggy button in tocktree

RedPitaya · Oct 23, 2023 · d193597 · d193597
1 parent 516be07
commit d193597
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/_static/new_style.css b/_static/new_style.css
@@ -103,3 +103,6 @@ pre span {
 }
 
 
+.toctree-expand {
+    visibility: hidden;
+}