From b834db0fd424e7ab02fcd5e509d855f2d97863bd Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <marussy@mit.bme.hu>
Date: Sat, 2 Oct 2021 02:11:31 +0200
Subject: perf(web): split off CodeMirror chunks

Also optimizes statis asset caching.
---
 language-web/src/main/css/index.scss | 29 ++++++++++++++++++++++++++++-
 1 file changed, 28 insertions(+), 1 deletion(-)

(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 9d6e0f6a..54f3a654 100644
--- a/language-web/src/main/css/index.scss
+++ b/language-web/src/main/css/index.scss
@@ -30,12 +30,27 @@ body {
   height: 100%;
 }
 
-.CodeMirror, .CodeMirror-hints {
+.problem-fallback-editor {
+  display: block;
+  height: 100%;
+  width: 100%;
+  resize: none;
+  border: none;
+  outline: none;
+  padding: 4px 4px 4px 16px;
+  white-space: pre;
+  overflow-wrap: normal;
+  overflow: auto;
+}
+
+.CodeMirror, .CodeMirror-hints, .problem-fallback-editor {
   font-size: 16px;
   font-family: 'JetBrains MonoVariable', 'JetBrains Mono', monospace;
   font-feature-settings: 'liga', 'calt';
   font-weight: 400;
   text-rendering: optimizeLegibility;
+  line-height: 1.35;
+  letter-spacing: 0;
 }
 
 @each $themeName, $theme in $themes {
@@ -45,6 +60,16 @@ body {
       color: map.get($theme, 'foreground');
     }
 
+    &.problem-fallback-editor {
+      background: map.get($theme, 'background');
+      color: map.get($theme, 'foreground');
+      caret-color: map.get($theme, 'cursor');
+
+      &::selection {
+        background: map.get($theme, 'selection');
+      }
+    }
+
     .CodeMirror-gutters {
       background: map.get($theme, 'background');
       border: none;
@@ -183,11 +208,13 @@ li.CodeMirror-hint-active {
 
 .xtext-marker_read {
   background: rgba(128, 203, 196, 0.2);
+  display: inline-block;
 }
 
 
 .xtext-marker_write {
   background: rgba(255, 229, 100, 0.2);
+  display: inline-block;
 }
 
 .problem-abstract {
-- 
cgit v1.2.3-70-g09d2