aboutsummaryrefslogtreecommitdiffstats
path: root/language-web/src/main/css
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <marussy@mit.bme.hu>2021-07-05 14:43:51 +0200
committerLibravatar Kristóf Marussy <marussy@mit.bme.hu>2021-07-05 14:43:51 +0200
commitb023fa155e066af953ff7b456f68a39c8cce1ebb (patch)
treeb1435d76116fcd57f42b30a538b4201612d82279 /language-web/src/main/css
parentFix typo in environmental variable name (diff)
downloadrefinery-b023fa155e066af953ff7b456f68a39c8cce1ebb.tar.gz
refinery-b023fa155e066af953ff7b456f68a39c8cce1ebb.tar.zst
refinery-b023fa155e066af953ff7b456f68a39c8cce1ebb.zip
Appearance fixes
Diffstat (limited to 'language-web/src/main/css')
-rw-r--r--language-web/src/main/css/index.scss26
1 files changed, 24 insertions, 2 deletions
diff --git a/language-web/src/main/css/index.scss b/language-web/src/main/css/index.scss
index 319dff8d..3ed91824 100644
--- a/language-web/src/main/css/index.scss
+++ b/language-web/src/main/css/index.scss
@@ -23,15 +23,37 @@ body {
23 font-family: 'Roboto', sans-serif; 23 font-family: 'Roboto', sans-serif;
24} 24}
25 25
26.CodeMirror {
27 height: 100%;
28}
29
26.CodeMirror, .CodeMirror-hints { 30.CodeMirror, .CodeMirror-hints {
27 font-size: 16px; 31 font-size: 16px;
28 height: 100%;
29 font-family: 'JetBrains MonoVariable', 'JetBrains Mono', monospace; 32 font-family: 'JetBrains MonoVariable', 'JetBrains Mono', monospace;
30 font-feature-settings: 'liga', 'calt'; 33 font-feature-settings: 'liga', 'calt';
31 font-weight: 400; 34 font-weight: 400;
32 text-rendering: optimizeLegibility; 35 text-rendering: optimizeLegibility;
33} 36}
34 37
38.CodeMirror-hints {
39 background: #333333;
40 border: 0;
41 border-radius: 4px;
42 box-shadow: 0 2px 4px -1px rgba(0, 0, 0, 0.2),
43 0 5px 8px 0 rgba(0, 0, 0, 0.14),
44 0 1px 8px 0 rgba(0, 0, 0, 0.12);
45 padding: 0;
46}
47
48.CodeMirror-hint {
49 color: #fff;
50 border-radius: 0;
51}
52
53li.CodeMirror-hint-active {
54 background: rgba(128, 203, 196, 0.2);
55}
56
35.annotations-gutter { 57.annotations-gutter {
36 width: 12px; 58 width: 12px;
37} 59}
@@ -118,5 +140,5 @@ body {
118} 140}
119 141
120.problem-singleton-variable { 142.problem-singleton-variable {
121 opacity: 0.7; 143 opacity: 0.6;
122} 144}