diff options
| author |  Kristóf Marussy <marussy@mit.bme.hu> | 2021-09-19 18:24:52 +0200 |
|---|---|---|
| committer | Kristóf Marussy <marussy@mit.bme.hu> | 2021-09-19 18:24:52 +0200 |
| commit | c8325e6e1a31598a4d4dc6a29834fdaefcb31181 (patch) | |
| tree | 2bb1eee700e4185bb95ecfa8ceb0ca9fa8753e21 /language-web/src/main/css/index.scss | |
| parent | Frontend color theme (diff) | |
| download | refinery-c8325e6e1a31598a4d4dc6a29834fdaefcb31181.tar.gz refinery-c8325e6e1a31598a4d4dc6a29834fdaefcb31181.tar.zst refinery-c8325e6e1a31598a4d4dc6a29834fdaefcb31181.zip | |
Frontend color changes
Diffstat (limited to 'language-web/src/main/css/index.scss')
| -rw-r--r-- | language-web/src/main/css/index.scss | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/language-web/src/main/css/index.scss b/language-web/src/main/css/index.scss index 21a9c05b..9d6e0f6a 100644 --- a/language-web/src/main/css/index.scss +++ b/language-web/src/main/css/index.scss | |||
| @@ -94,6 +94,11 @@ body { | |||
| 94 | color: map.get($theme, 'delimiter'); | 94 | color: map.get($theme, 'delimiter'); |
| 95 | } | 95 | } |
| 96 | 96 | ||
| 97 | .cm-comment { | ||
| 98 | color: map.get($theme, 'comment'); | ||
| 99 | font-style: italic; | ||
| 100 | } | ||
| 101 | |||
| 97 | .problem-predicate, .problem-class, .problem-reference, .problem-enum { | 102 | .problem-predicate, .problem-class, .problem-reference, .problem-enum { |
| 98 | color: map.get($theme, 'predicate'); | 103 | color: map.get($theme, 'predicate'); |
| 99 | } | 104 | } |