Disable top-level navigation tabs on new website (#2534)

A simple 'full' menu on the left seems much clearer, actually.
google · May 6, 2024 · c3365cf · c3365cf
1 parent 71d8ffc
commit c3365cf
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/mkdocs.yaml b/mkdocs.yaml
@@ -24,11 +24,8 @@ theme:
  - navigation.footer
  - navigation.instant
  - navigation.tracking
- - navigation.expand
  - navigation.path
  - navigation.top
- - navigation.sections
- - navigation.tabs
  - search.suggest
  - search.share