diff options
Diffstat (limited to 'language-web/src/main/css/index.scss')
-rw-r--r-- | language-web/src/main/css/index.scss | 79 |
1 files changed, 66 insertions, 13 deletions
diff --git a/language-web/src/main/css/index.scss b/language-web/src/main/css/index.scss index 62109a2f..d9c9b4b4 100644 --- a/language-web/src/main/css/index.scss +++ b/language-web/src/main/css/index.scss | |||
@@ -1,31 +1,84 @@ | |||
1 | @import 'codemirror/lib/codemirror'; | 1 | @import 'codemirror/lib/codemirror'; |
2 | @import 'codemirror/addon/hint/show-hint'; | 2 | @import 'codemirror/addon/hint/show-hint'; |
3 | @import 'codemirror/theme/material-darker'; | ||
3 | 4 | ||
4 | @import 'xtext/xtext-codemirror'; | 5 | .CodeMirror { |
6 | font-size: 16px; | ||
7 | height: 100%; | ||
8 | } | ||
5 | 9 | ||
6 | .problem-class { | 10 | .annotations-gutter { |
7 | color: #005032; | 11 | width: 12px; |
8 | } | 12 | } |
9 | 13 | ||
10 | .problem-abstract { | 14 | .xtext-annotation_error { |
11 | color: #8b8816; | 15 | width: 12px; |
16 | height: 12px; | ||
17 | background-image: url('images/error_an.gif'); | ||
18 | background-repeat: no-repeat; | ||
19 | } | ||
20 | |||
21 | .xtext-annotation_warning { | ||
22 | width: 12px; | ||
23 | height: 12px; | ||
24 | background-image: url('images/warning_an.gif'); | ||
25 | background-repeat: no-repeat; | ||
26 | } | ||
27 | |||
28 | .xtext-annotation_info { | ||
29 | width: 12px; | ||
30 | height: 12px; | ||
31 | background-image: url('images/info_an.gif'); | ||
32 | background-repeat: no-repeat; | ||
12 | } | 33 | } |
13 | 34 | ||
14 | .problem-enum { | 35 | .xtext-marker_error { |
15 | color: #644632; | 36 | z-index: 30; |
37 | background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAQAAAADCAYAAAC09K7GAAAABmJLR0QA/wD/AP+gvaeTAAAAHElEQVQI12NggIL/DAz/GdA5/xkY/qPKMDAwAADLZwf5rvm+LQAAAABJRU5ErkJggg=="); | ||
38 | background-repeat: repeat-x; | ||
39 | background-position: left bottom; | ||
40 | } | ||
41 | |||
42 | .xtext-marker_warning { | ||
43 | z-index: 20; | ||
44 | background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAQAAAADCAYAAAC09K7GAAAABmJLR0QA/wD/AP+gvaeTAAAAMklEQVQI12NkgIIvJ3QXMjAwdDN+OaEbysDA4MPAwNDNwMCwiOHLCd1zX07o6kBVGQEAKBANtobskNMAAAAASUVORK5CYII="); | ||
45 | background-repeat: repeat-x; | ||
46 | background-position: left bottom; | ||
47 | } | ||
48 | |||
49 | .xtext-marker_info { | ||
50 | z-index: 10; | ||
51 | background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAQAAAADCAYAAAC09K7GAAAABmJLR0QA/wD/AP+gvaeTAAAANklEQVQI12NkgIIVRx8tZGBg6GZccfRRKAMDgw8DA0M3AwPDIiYGBoZKBgaG7ghruSsMDAwpABH5CoqwzCoTAAAAAElFTkSuQmCC"); | ||
52 | background-repeat: repeat-x; | ||
53 | background-position: left bottom; | ||
54 | } | ||
55 | |||
56 | .xtext-marker_read { | ||
57 | background: rgba(128, 203, 196, 0.2); | ||
58 | } | ||
59 | |||
60 | .xtext-marker_write { | ||
61 | background: rgba(255, 229, 100, 0.2); | ||
62 | } | ||
63 | |||
64 | .problem-class, .problem-enum { | ||
65 | @extend .cm-type; | ||
66 | } | ||
67 | |||
68 | .problem-abstract { | ||
69 | font-style: italic; | ||
16 | } | 70 | } |
17 | 71 | ||
18 | .problem-reference { | 72 | .problem-reference { |
19 | color: #0000c0; | 73 | @extend .cm-def; |
20 | } | 74 | } |
21 | 75 | ||
22 | .problem-containment { | 76 | .problem-containment { |
23 | font-weight: bold; | 77 | font-weight: bold; |
24 | } | 78 | } |
25 | 79 | ||
26 | .CodeMirror .cm-quoted-name, .problem-enum-node { | 80 | .cm-quoted-name, .problem-enum-node { |
27 | color: #1a1a1a !important; | 81 | @extend .cm-atom; |
28 | font-weight: bold; | ||
29 | } | 82 | } |
30 | 83 | ||
31 | .problem-new-node { | 84 | .problem-new-node { |
@@ -33,9 +86,9 @@ | |||
33 | } | 86 | } |
34 | 87 | ||
35 | .problem-variable { | 88 | .problem-variable { |
36 | color: #6a3e3e; | 89 | @extend .cm-variable; |
37 | } | 90 | } |
38 | 91 | ||
39 | .problem-singleton-variable { | 92 | .problem-singleton-variable { |
40 | color: #a1706f; | 93 | opacity: 0.7; |
41 | } | 94 | } |