From 62206447e72cdb5930cd1fad68c17b11785231b0 Mon Sep 17 00:00:00 2001
From: CooperBigFoot <nlazaro@student.ethz.ch>
Date: Sat, 4 Jul 2026 22:04:26 +0300
Subject: [PATCH] docs(site): enable syntax highlighting, code copy button, and
 light/dark palette

---
 mkdocs.yml | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/mkdocs.yml b/mkdocs.yml
index 73a34d5..e8abaf1 100644
--- a/mkdocs.yml
+++ b/mkdocs.yml
@@ -7,6 +7,19 @@ docs_dir: docs
 
 theme:
   name: material
+  features:
+    - content.code.copy
+  palette:
+    - media: "(prefers-color-scheme: light)"
+      scheme: default
+      toggle:
+        icon: material/brightness-7
+        name: Switch to dark mode
+    - media: "(prefers-color-scheme: dark)"
+      scheme: slate
+      toggle:
+        icon: material/brightness-4
+        name: Switch to light mode
 
 plugins:
   - search
@@ -27,6 +40,12 @@ exclude_docs: |
   README.md
   codex-non-interactive.md
 
+markdown_extensions:
+  - pymdownx.highlight:
+      anchor_linenums: true
+  - pymdownx.inlinehilite
+  - pymdownx.superfences
+
 nav:
   - Home: index.md
   - Quickstart: quickstart.md