1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
|
@use '@fontsource/roboto/scss/mixins' as Roboto;
@use '@fontsource/jetbrains-mono/scss/mixins' as JetbrainsMono;
@import 'codemirror/lib/codemirror';
@import 'codemirror/addon/hint/show-hint';
@import 'codemirror/theme/material-darker';
$robotoWeights: 300, 400, 500, 700;
@each $weight in $robotoWeights {
@include Roboto.fontFace($fontName: 'Roboto', $weight: $weight);
@include Roboto.fontFace($fontName: 'Roboto', $weight: $weight, $style: italic);
}
$jetbrainsMonoWeights: 400, 700;
@each $weight in $jetbrainsMonoWeights {
@include JetbrainsMono.fontFace($fontName: 'JetBrains Mono', $weight: $weight);
@include JetbrainsMono.fontFace($fontName: 'JetBrains Mono', $weight: $weight, $style: italic);
}
@include JetbrainsMono.fontFaceVariable($fontName: 'JetBrains MonoVariable');
@include JetbrainsMono.fontFaceVariable($fontName: 'JetBrains MonoVariable', $style: italic);
body {
font-family: 'Roboto', sans-serif;
}
.CodeMirror, .CodeMirror-hints {
font-size: 16px;
height: 100%;
font-family: 'JetBrains MonoVariable', 'JetBrains Mono', monospace;
font-feature-settings: 'liga', 'calt';
font-weight: 400;
text-rendering: optimizeLegibility;
}
.annotations-gutter {
width: 12px;
}
.xtext-annotation_error {
width: 12px;
height: 1em;
background-image: url('images/error_an.gif');
background-repeat: no-repeat;
background-position: bottom;
}
.xtext-annotation_warning {
width: 12px;
height: 1em;
background-image: url('images/warning_an.gif');
background-repeat: no-repeat;
background-position: bottom;
}
.xtext-annotation_info {
width: 12px;
height: 1em;
background-image: url('images/info_an.gif');
background-repeat: no-repeat;
background-position: bottom;
}
.xtext-marker_error {
z-index: 30;
background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAQAAAADCAYAAAC09K7GAAAABmJLR0QA/wD/AP+gvaeTAAAAHElEQVQI12NggIL/DAz/GdA5/xkY/qPKMDAwAADLZwf5rvm+LQAAAABJRU5ErkJggg==");
background-repeat: repeat-x;
background-position: left bottom;
}
.xtext-marker_warning {
z-index: 20;
background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAQAAAADCAYAAAC09K7GAAAABmJLR0QA/wD/AP+gvaeTAAAAMklEQVQI12NkgIIvJ3QXMjAwdDN+OaEbysDA4MPAwNDNwMCwiOHLCd1zX07o6kBVGQEAKBANtobskNMAAAAASUVORK5CYII=");
background-repeat: repeat-x;
background-position: left bottom;
}
.xtext-marker_info {
z-index: 10;
background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAQAAAADCAYAAAC09K7GAAAABmJLR0QA/wD/AP+gvaeTAAAANklEQVQI12NkgIIVRx8tZGBg6GZccfRRKAMDgw8DA0M3AwPDIiYGBoZKBgaG7ghruSsMDAwpABH5CoqwzCoTAAAAAElFTkSuQmCC");
background-repeat: repeat-x;
background-position: left bottom;
}
.xtext-marker_read {
background: rgba(128, 203, 196, 0.2);
}
.xtext-marker_write {
background: rgba(255, 229, 100, 0.2);
}
.problem-class, .problem-enum {
@extend .cm-type;
}
.problem-abstract {
font-style: italic;
}
.problem-reference {
@extend .cm-def;
}
.problem-containment {
font-weight: 700;
}
.cm-quoted-name, .problem-enum-node {
@extend .cm-atom;
}
.problem-new-node {
font-style: italic;
}
.problem-variable {
@extend .cm-variable;
}
.problem-singleton-variable {
opacity: 0.7;
}
|