From 29cbe9f6f85b8f59409386eed1d596e0a9cdc2ef Mon Sep 17 00:00:00 2001
From: Stefan Kebekus <kebekus@users.noreply.github.com>
Date: Wed, 12 Aug 2026 08:10:11 +0200
Subject: [PATCH] Update theme.css

---
 static/theme.css | 33 +++++++++++++++++++++++++++++++--
 1 file changed, 31 insertions(+), 2 deletions(-)

diff --git a/static/theme.css b/static/theme.css
index f1085c1..c65c58e 100644
--- a/static/theme.css
+++ b/static/theme.css
@@ -74,9 +74,38 @@ blockquote > :last-child {
     margin-bottom: 0;
 }
 
-/** TODO - make these themeable with variables ***/
+/* Syntax-Farben für Lean-Code, angelehnt an das Light+-Thema von
+   VS Code (Standardansicht des Lean-Plugins).  Versos Highlighter
+   klassifiziert jedes Token semantisch; hier bekommt jede Klasse
+   ihre Farbe. */
 .hl.lean .keyword.token {
-    font-weight: 600 !important;
+    font-weight: 600;
+    color: #0000c0;          /* theorem, by, fun, … */
+}
+
+.hl.lean .const.token {
+    color: #795e26;          /* Konstanten: Lemmanamen, ℤ, Ideal, … */
+}
+
+.hl.lean .var.token {
+    color: #001080;          /* gebundene Variablen */
+}
+
+.hl.lean .sort.token {
+    color: #267f99;          /* Type, Prop */
+}
+
+.hl.lean .literal.token {
+    color: #098658;          /* Zahl- und String-Literale */
+}
+
+.hl.lean .comment.token {
+    color: #007000;          /* Kommentare — die Skript-Sätze */
+    font-style: italic;
+}
+
+.hl.lean .wildcard.token {
+    color: #708090;          /* Unterstriche/Platzhalter */
 }
 
 figure {