css: highlight comments

aya-prover · Dec 10, 2024 · 636079b · 636079b
1 parent 35f1783
commit 636079b
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/.vitepress/theme/index.css b/src/.vitepress/theme/index.css
@@ -23,6 +23,7 @@
     --Aya-Field: #a021ef;
     --Aya-PlainText: var(--vp-c-text-1);
     --Aya-HoverBg: #edebfc;
+    --Aya-Comment: #6f6f6f;
 }
 
 .dark {
@@ -36,6 +37,7 @@
     --Aya-Field: #d2a8ff;
     --Aya-PlainText: var(--vp-c-text-1);
     --Aya-HoverBg: #344134;
+    --Aya-Comment: #8f8f8f;
 }
 
 /* Overwrite the hover background for dark mode */
@@ -70,6 +72,9 @@
 .Aya .Field {
     color: var(--Aya-Field);
 }
+.Aya .Comment {
+    color: var(--Aya-Comment);
+}
 
 /**
  * Colors