From dd38799504da8146d88a97eca056a7e48ab3cea7 Mon Sep 17 00:00:00 2001
From: Grant Yang <38170305+ROTARTSI82@users.noreply.github.com>
Date: Wed, 26 Aug 2026 12:40:30 -0700
Subject: [PATCH] fix: restore syntax highlighting

---
 src/verso/Verso/Code/Highlighted.lean | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/verso/Verso/Code/Highlighted.lean b/src/verso/Verso/Code/Highlighted.lean
index d7f30090..0a2fdc0b 100644
--- a/src/verso/Verso/Code/Highlighted.lean
+++ b/src/verso/Verso/Code/Highlighted.lean
@@ -975,7 +975,7 @@ severity accent to distinguish them.
   border: none;
 }
 
-.error .verso-message, .error .verso-message .token, .error .verso-message label {
+.error .verso-message, .error .verso-message label {
   color: var(--verso-message-error-color, #cc0000);
 }
 
@@ -1020,7 +1020,7 @@ severity accent to distinguish them.
   border: none;
 }
 
-.warning .verso-message, .warning .verso-message .token, .warning .verso-message label {
+.warning .verso-message, .warning .verso-message label {
   color: var(--verso-message-warning-color, black);
 }
 
@@ -1048,7 +1048,7 @@ severity accent to distinguish them.
   border: none;
 }
 
-.information .verso-message, .information .verso-message .token, .information .verso-message label {
+.information .verso-message, .information .verso-message label {
   color: var(--verso-message-info-color, black);
 }