From b88c842ba625753ea185e6166cd967e694160798 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kristof@marussy.com>
Date: Sun, 27 Jun 2021 01:43:59 +0200
Subject: Add enum support

---
 .../src/main/webapp/style.css                                  | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

(limited to 'org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/webapp/style.css')

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;
 }
 
-- 
cgit v1.2.3-70-g09d2