diff options
Diffstat (limited to 'language-web/src/main/css')
-rw-r--r-- | language-web/src/main/css/index.scss | 105 | ||||
-rw-r--r-- | language-web/src/main/css/xtext/xtext-codemirror.css | 58 |
2 files changed, 163 insertions, 0 deletions
diff --git a/language-web/src/main/css/index.scss b/language-web/src/main/css/index.scss new file mode 100644 index 00000000..e788bbd1 --- /dev/null +++ b/language-web/src/main/css/index.scss | |||
@@ -0,0 +1,105 @@ | |||
1 | @import 'codemirror/lib/codemirror'; | ||
2 | @import 'codemirror/addon/hint/show-hint'; | ||
3 | |||
4 | @import 'xtext/xtext-codemirror'; | ||
5 | |||
6 | body { | ||
7 | width: 100%; | ||
8 | height: 100%; | ||
9 | overflow: hidden; | ||
10 | font: 16px Helvetica,sans-serif; | ||
11 | } | ||
12 | |||
13 | a { | ||
14 | color: #22a; | ||
15 | text-decoration: none; | ||
16 | } | ||
17 | |||
18 | a:hover { | ||
19 | text-decoration: underline; | ||
20 | } | ||
21 | |||
22 | .container { | ||
23 | display: block; | ||
24 | position: absolute; | ||
25 | top: 0; | ||
26 | bottom: 0; | ||
27 | left: 0; | ||
28 | right: 0; | ||
29 | margin: 24px 24px 36px 24px; | ||
30 | } | ||
31 | |||
32 | .header { | ||
33 | display: block; | ||
34 | position: absolute; | ||
35 | top: 0; | ||
36 | left: 0; | ||
37 | right: 0; | ||
38 | padding: 16px; | ||
39 | background: #dbdbdb; | ||
40 | border-radius: 16px; | ||
41 | color: #383838; | ||
42 | } | ||
43 | |||
44 | .header h1 { | ||
45 | font-size: 36px; | ||
46 | margin: 0; | ||
47 | } | ||
48 | |||
49 | .content { | ||
50 | display: block; | ||
51 | position: absolute; | ||
52 | top: 108px; | ||
53 | bottom: 0; | ||
54 | left: 0; | ||
55 | width: 100%; | ||
56 | box-shadow: 0 0 8px rgba(80, 10, 98, .25), 0 10px 24px rgba(80, 10, 98, .35); | ||
57 | border-radius: 16px; | ||
58 | } | ||
59 | |||
60 | .xtext-editor { | ||
61 | display: block; | ||
62 | position: absolute; | ||
63 | top: 16px; | ||
64 | bottom: 16px; | ||
65 | left: 16px; | ||
66 | right: 16px; | ||
67 | border: 1px solid #999; | ||
68 | } | ||
69 | |||
70 | .problem-class { | ||
71 | color: #005032; | ||
72 | } | ||
73 | |||
74 | .problem-abstract { | ||
75 | color: #8b8816; | ||
76 | } | ||
77 | |||
78 | .problem-enum { | ||
79 | color: #644632; | ||
80 | } | ||
81 | |||
82 | .problem-reference { | ||
83 | color: #0000c0; | ||
84 | } | ||
85 | |||
86 | .problem-containment { | ||
87 | font-weight: bold; | ||
88 | } | ||
89 | |||
90 | .CodeMirror .cm-quoted-name, .problem-enum-node { | ||
91 | color: #1a1a1a !important; | ||
92 | font-weight: bold; | ||
93 | } | ||
94 | |||
95 | .problem-new-node { | ||
96 | font-style: italic; | ||
97 | } | ||
98 | |||
99 | .problem-variable { | ||
100 | color: #6a3e3e; | ||
101 | } | ||
102 | |||
103 | .problem-singleton-variable { | ||
104 | color: #a1706f; | ||
105 | } | ||
diff --git a/language-web/src/main/css/xtext/xtext-codemirror.css b/language-web/src/main/css/xtext/xtext-codemirror.css new file mode 100644 index 00000000..831b6daf --- /dev/null +++ b/language-web/src/main/css/xtext/xtext-codemirror.css | |||
@@ -0,0 +1,58 @@ | |||
1 | .CodeMirror { | ||
2 | height: 100%; | ||
3 | } | ||
4 | |||
5 | .annotations-gutter { | ||
6 | width: 12px; | ||
7 | background: #f0f0f0; | ||
8 | } | ||
9 | |||
10 | .xtext-annotation_error { | ||
11 | width: 12px; | ||
12 | height: 12px; | ||
13 | background-image: url('images/error_an.gif'); | ||
14 | background-repeat: no-repeat; | ||
15 | } | ||
16 | |||
17 | .xtext-annotation_warning { | ||
18 | width: 12px; | ||
19 | height: 12px; | ||
20 | background-image: url('images/warning_an.gif'); | ||
21 | background-repeat: no-repeat; | ||
22 | } | ||
23 | |||
24 | .xtext-annotation_info { | ||
25 | width: 12px; | ||
26 | height: 12px; | ||
27 | background-image: url('images/info_an.gif'); | ||
28 | background-repeat: no-repeat; | ||
29 | } | ||
30 | |||
31 | .xtext-marker_error { | ||
32 | z-index: 30; | ||
33 | background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAQAAAADCAYAAAC09K7GAAAABmJLR0QA/wD/AP+gvaeTAAAAHElEQVQI12NggIL/DAz/GdA5/xkY/qPKMDAwAADLZwf5rvm+LQAAAABJRU5ErkJggg=="); | ||
34 | background-repeat: repeat-x; | ||
35 | background-position: left bottom; | ||
36 | } | ||
37 | |||
38 | .xtext-marker_warning { | ||
39 | z-index: 20; | ||
40 | background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAQAAAADCAYAAAC09K7GAAAABmJLR0QA/wD/AP+gvaeTAAAAMklEQVQI12NkgIIvJ3QXMjAwdDN+OaEbysDA4MPAwNDNwMCwiOHLCd1zX07o6kBVGQEAKBANtobskNMAAAAASUVORK5CYII="); | ||
41 | background-repeat: repeat-x; | ||
42 | background-position: left bottom; | ||
43 | } | ||
44 | |||
45 | .xtext-marker_info { | ||
46 | z-index: 10; | ||
47 | background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAQAAAADCAYAAAC09K7GAAAABmJLR0QA/wD/AP+gvaeTAAAANklEQVQI12NkgIIVRx8tZGBg6GZccfRRKAMDgw8DA0M3AwPDIiYGBoZKBgaG7ghruSsMDAwpABH5CoqwzCoTAAAAAElFTkSuQmCC"); | ||
48 | background-repeat: repeat-x; | ||
49 | background-position: left bottom; | ||
50 | } | ||
51 | |||
52 | .xtext-marker_read { | ||
53 | background-color: #ddd; | ||
54 | } | ||
55 | |||
56 | .xtext-marker_write { | ||
57 | background-color: yellow; | ||
58 | } | ||