diff options
Diffstat (limited to 'language-web/src/main/css/index.scss')
-rw-r--r-- | language-web/src/main/css/index.scss | 26 |
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 | |||
53 | li.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 | } |