diff options
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 | } |