From b023fa155e066af953ff7b456f68a39c8cce1ebb Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Mon, 5 Jul 2021 14:43:51 +0200 Subject: Appearance fixes --- language-web/src/main/css/index.scss | 26 ++++++++++++++++++++++++-- 1 file changed, 24 insertions(+), 2 deletions(-) (limited to 'language-web/src/main/css') 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 { font-family: 'Roboto', sans-serif; } +.CodeMirror { + height: 100%; +} + .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; } +.CodeMirror-hints { + background: #333333; + border: 0; + border-radius: 4px; + box-shadow: 0 2px 4px -1px rgba(0, 0, 0, 0.2), + 0 5px 8px 0 rgba(0, 0, 0, 0.14), + 0 1px 8px 0 rgba(0, 0, 0, 0.12); + padding: 0; +} + +.CodeMirror-hint { + color: #fff; + border-radius: 0; +} + +li.CodeMirror-hint-active { + background: rgba(128, 203, 196, 0.2); +} + .annotations-gutter { width: 12px; } @@ -118,5 +140,5 @@ body { } .problem-singleton-variable { - opacity: 0.7; + opacity: 0.6; } -- cgit v1.2.3-70-g09d2