docs: Add edit button to documentation pages

Closes: #4966
This commit is contained in:
a-kenji
2025-08-26 11:52:08 +02:00
parent 3798808013
commit 47ad7d8a95

View File

@@ -173,6 +173,7 @@ theme:
- content.code.annotate - content.code.annotate
- content.code.copy - content.code.copy
- content.tabs.link - content.tabs.link
- content.action.edit
icon: icon:
repo: fontawesome/brands/git repo: fontawesome/brands/git
custom_dir: overrides custom_dir: overrides