more stuff

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