chore: regenerate theme due to auto upgrade

gravitee-io · Nov 3, 2021 · 7f73899 · 7f73899
1 parent 75c1a79
commit 7f73899
Show file tree

Hide file tree

Showing 5 changed files with 500 additions and 680 deletions.
diff --git a/assets/css/codemirror/all.css b/assets/css/codemirror/all.css
@@ -19,7 +19,7 @@
 }
 
 .CodeMirror-scrollbar-filler, .CodeMirror-gutter-filler {
-  background-color: transparent; /* The little square between H and V scrollbars */
+  background-color: white; /* The little square between H and V scrollbars */
 }
 
 /* GUTTER */
@@ -68,7 +68,6 @@
 }
 .cm-animate-fat-cursor {
   width: auto;
-  border: 0;
   -webkit-animation: blink 1.06s steps(1) infinite;
   -moz-animation: blink 1.06s steps(1) infinite;
   animation: blink 1.06s steps(1) infinite;
@@ -421,6 +420,14 @@ span.CodeMirror-selectedtext { background: none; }
   width: 100%; height: 100%;
 }
 
+.CodeMirror-lint-line-error {
+  background-color: rgba(183, 76, 81, 0.08);
+}
+
+.CodeMirror-lint-line-warning {
+  background-color: rgba(255, 211, 0, 0.1);
+}
+
 /*
   MDN-LIKE Theme - Mozilla
   Ported to CodeMirror by Peter Kroon <[email protected]>