add search bar and edit button

[marcobarilari]

@fcerpe I skip pr review cause it is small edit and I need it fast to create the presentation for tomorrow

[sourcery-ai]

Reviewer's Guide by Sourcery

This pull request adds a search functionality and an edit button to the documentation site by modifying the mkdocs.yml configuration file. It enables the search plugin, adds a git revision date plugin, and includes an edit button feature.

File-Level Changes

Change	Details	Files
Added search functionality to the documentation site	Enabled the search plugin Added the search plugin to the plugins list	mkdocs.yml
Implemented an edit button for content pages	Added the content.action.edit feature to the theme configuration	mkdocs.yml
Added git revision date information to pages	Included the git-revision-date-localized plugin Configured the plugin to show datetime in the Europe/Brussels timezone	mkdocs.yml

---

Tips

• Trigger a new Sourcery review by commenting @sourcery-ai review on the pull request.
• Continue your discussion with Sourcery by replying directly to review comments.
• You can change your review settings at any time by accessing your dashboard:
  • Enable or disable the Sourcery-generated pull request summary or reviewer's guide;
  • Change the review language;
• You can always contact us if you have any questions or feedback.

[sourcery-ai]

Hey @marcobarilari - I've reviewed your changes and they look great!

Here's what I looked at during the review

• 🟢 General issues: all looks good
• 🟢 Security: all looks good
• 🟢 Testing: all looks good
• 🟢 Complexity: all looks good
• 🟢 Documentation: all looks good

---

Sourcery is free for open source - if you like our reviews please consider sharing them ✨

• X
• Mastodon
• LinkedIn
• Facebook

_{Help me be more useful! Please click 👍 or 👎 on each comment to tell me if it was helpful.}