docs: Restore missing edit button (#3338)

2025-08-31 14:25:59 +00:00 · 2023-05-14 23:54:53 +02:00
parent 063b1bf51d
commit 7cc05581d1
1 changed files with 2 additions and 0 deletions
--- a/docs/mkdocs.yml
+++ b/docs/mkdocs.yml
@@ -35,6 +35,8 @@ theme:
    - navigation.top
    - navigation.expand
    - navigation.instant
+    - content.action.edit
+    - content.action.view
    - content.code.annotate
  palette:
    # Light mode