Sfoglia il codice sorgente

Merge pull request #3164 from blink1073/codemirror-cursor

Ensure codemirror cursor size
Ian Rose 7 anni fa
parent
commit
dda1102ab5
1 ha cambiato i file con 17 aggiunte e 1 eliminazioni
  1. 17 1
      packages/codemirror/style/index.css

+ 17 - 1
packages/codemirror/style/index.css

@@ -65,7 +65,23 @@
 
 
 .CodeMirror-cursor {
-  border-left: 1px solid var(--jp-editor-cursor-color);
+  border-left: 1.4px solid var(--jp-editor-cursor-color);
+}
+
+
+// When zoomed out 67% and 33% on a screen of 1440 width x 900 height
+@media screen and (min-width: 2138px) and (max-width: 4319px)  {
+    .CodeMirror-cursor {
+        border-left: 2px solid var(--jp-editor-cursor-color);
+    }
+}
+
+
+// When zoomed out less than 33%
+@media screen and (min-width: 4320px)  {
+    .CodeMirror-cursor {
+        border-left: 4px solid var(--jp-editor-cursor-color);
+    }
 }