diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 9723050..358d2f2 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -4,6 +4,10 @@ on:
   push:
     branches:
       - main
+  # Rebuild after each release so the version shown in the header refreshes.
+  release:
+    types: [published]
+  workflow_dispatch:
 
 permissions:
   contents: write
diff --git a/mkdocs.yml b/mkdocs.yml
index b1021d3..4559e37 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -22,9 +22,11 @@ theme:
   - content.code.annotate
   - content.code.copy
   - content.tabs.link
-  - navigation.tabs
+  - navigation.expand
+  - navigation.sections
   - navigation.top
   - navigation.footer
+  - toc.integrate
   - search.highlight
   - search.share