1 files changed, 8 insertions, 2 deletions

diff --git a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/webapp/style.css b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/webapp/style.css
index b24610f4..9a89dd81 100644
--- a/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/webapp/style.css
+++ b/org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/webapp/style.css
@@ -70,6 +70,10 @@ a:hover {
         color: #8b8816;
 }
 
+.problem-enum {
+        color: #644632;
+}
+
 .problem-reference {
         color: #0000c0;
 }
@@ -78,11 +82,13 @@ a:hover {
         font-weight: bold;
 }
 
-.problem-node {
-        color: inherit !important;
+
+.CodeMirror .problem-node {
+        color: inherit;
 }
 
 .problem-enum-node {
+        color: #1a1a1a !important;
         font-weight: bold;
 }