diff options
author | Kristóf Marussy <kristof@marussy.com> | 2021-06-27 01:43:59 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2021-06-27 02:01:19 +0200 |
commit | b88c842ba625753ea185e6166cd967e694160798 (patch) | |
tree | 51931f892dff12d253f7697179e137bdfe705155 /org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/webapp/style.css | |
parent | Opposite reference scope (diff) | |
download | refinery-b88c842ba625753ea185e6166cd967e694160798.tar.gz refinery-b88c842ba625753ea185e6166cd967e694160798.tar.zst refinery-b88c842ba625753ea185e6166cd967e694160798.zip |
Add enum support
Diffstat (limited to 'org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/webapp/style.css')
-rw-r--r-- | org.eclipse.viatra.solver.language.parent/org.eclipse.viatra.solver.language.web/src/main/webapp/style.css | 10 |
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 { | |||
70 | color: #8b8816; | 70 | color: #8b8816; |
71 | } | 71 | } |
72 | 72 | ||
73 | .problem-enum { | ||
74 | color: #644632; | ||
75 | } | ||
76 | |||
73 | .problem-reference { | 77 | .problem-reference { |
74 | color: #0000c0; | 78 | color: #0000c0; |
75 | } | 79 | } |
@@ -78,11 +82,13 @@ a:hover { | |||
78 | font-weight: bold; | 82 | font-weight: bold; |
79 | } | 83 | } |
80 | 84 | ||
81 | .problem-node { | 85 | |
82 | color: inherit !important; | 86 | .CodeMirror .problem-node { |
87 | color: inherit; | ||
83 | } | 88 | } |
84 | 89 | ||
85 | .problem-enum-node { | 90 | .problem-enum-node { |
91 | color: #1a1a1a !important; | ||
86 | font-weight: bold; | 92 | font-weight: bold; |
87 | } | 93 | } |
88 | 94 | ||