diff options
author | 2021-06-27 17:59:54 +0200 | |
---|---|---|
committer | 2021-06-27 18:09:46 +0200 | |
commit | 5785f36b17d2b290d88c05fee54e39060a07b6d4 (patch) | |
tree | 31f4f319b493d6f29e13ef63fe46eb18935178b5 /language-web/src/main/webapp/style.css | |
parent | Fix running outside of Eclipse (diff) | |
download | refinery-5785f36b17d2b290d88c05fee54e39060a07b6d4.tar.gz refinery-5785f36b17d2b290d88c05fee54e39060a07b6d4.tar.zst refinery-5785f36b17d2b290d88c05fee54e39060a07b6d4.zip |
Customize client-side CodeMirror mode
Diffstat (limited to 'language-web/src/main/webapp/style.css')
-rw-r--r-- | language-web/src/main/webapp/style.css | 11 |
1 files changed, 3 insertions, 8 deletions
diff --git a/language-web/src/main/webapp/style.css b/language-web/src/main/webapp/style.css index 9a89dd81..03018f93 100644 --- a/language-web/src/main/webapp/style.css +++ b/language-web/src/main/webapp/style.css | |||
@@ -59,7 +59,7 @@ a:hover { | |||
59 | bottom: 16px; | 59 | bottom: 16px; |
60 | left: 16px; | 60 | left: 16px; |
61 | right: 16px; | 61 | right: 16px; |
62 | border: 1px solid #aaa; | 62 | border: 1px solid #999; |
63 | } | 63 | } |
64 | 64 | ||
65 | .problem-class { | 65 | .problem-class { |
@@ -82,12 +82,7 @@ a:hover { | |||
82 | font-weight: bold; | 82 | font-weight: bold; |
83 | } | 83 | } |
84 | 84 | ||
85 | 85 | .CodeMirror .cm-quoted-name, .problem-enum-node { | |
86 | .CodeMirror .problem-node { | ||
87 | color: inherit; | ||
88 | } | ||
89 | |||
90 | .problem-enum-node { | ||
91 | color: #1a1a1a !important; | 86 | color: #1a1a1a !important; |
92 | font-weight: bold; | 87 | font-weight: bold; |
93 | } | 88 | } |
@@ -101,5 +96,5 @@ a:hover { | |||
101 | } | 96 | } |
102 | 97 | ||
103 | .problem-singleton-variable { | 98 | .problem-singleton-variable { |
104 | opacity: 0.7; | 99 | color: #a1706f; |
105 | } | 100 | } |