From abcc22b0eb85d3cdb7b4b662203111c1981fc7bf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Olivier=20B=C3=BCchel?= <olivier.buechel@gmail.com>
Date: Thu, 22 Jan 2026 22:45:34 +0100
Subject: [PATCH] more stuff

---
 mkdocs.yml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/mkdocs.yml b/mkdocs.yml
index 0305cab..bf44182 100755
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -8,7 +8,7 @@ site_description: >-
   the wall of comfortable mediocracy
 
 # Repository
-repo_name: oliveit-web
+repo_name: oliveit git
 repo_url:  https://gitea.olive-it.ch/oli/public-testrepo2.git
 
 # Theme
@@ -20,6 +20,7 @@ theme:
     - content.action.view
     - content.tooltips
     - navigation.sections
+    - search.highlight
   favicon: assets/favicon.ico
   palette:
     primary: light green
@@ -30,7 +31,8 @@ nav:
   - Introduction: 'index.md'
   - Learning: learning/learning.md
 # Plugins
-# plugins:
+plugins:
+  - search
 #   - projects:
 #       projects_dir: examples
 #       projects_config_transform: !!python/name:examples.transform