aboutsummaryrefslogtreecommitdiffstats
path: root/language-web/src/main/css
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <marussy@mit.bme.hu>2021-06-29 11:37:14 +0200
committerLibravatar Kristóf Marussy <marussy@mit.bme.hu>2021-06-29 11:37:14 +0200
commit272c7c5dd04feb54806b92d88dc1a5029cddc397 (patch)
treedecf6950c10782d124c5a3b6055a09d52f9e5791 /language-web/src/main/css
parentFix derived state computer idempotency (diff)
downloadrefinery-272c7c5dd04feb54806b92d88dc1a5029cddc397.tar.gz
refinery-272c7c5dd04feb54806b92d88dc1a5029cddc397.tar.zst
refinery-272c7c5dd04feb54806b92d88dc1a5029cddc397.zip
Webpack build for frontend
Diffstat (limited to 'language-web/src/main/css')
-rw-r--r--language-web/src/main/css/index.scss105
-rw-r--r--language-web/src/main/css/xtext/xtext-codemirror.css58
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
6body {
7 width: 100%;
8 height: 100%;
9 overflow: hidden;
10 font: 16px Helvetica,sans-serif;
11}
12
13a {
14 color: #22a;
15 text-decoration: none;
16}
17
18a: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}