Merge pull request #2983 from gnestor/fix-codemirror-cursor

Add more border width to CodeMirror cursor
pull/2993/head
Matthias Bussonnier 8 years ago committed by GitHub
commit cd2ac44c48
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -52,3 +52,20 @@
.border-radius(0)
}
.CodeMirror-cursor {
border-left: 1.4px solid black;
}
// 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 black;
}
}
// When zoomed out less than 33%
@media screen and (min-width: 4320px) {
.CodeMirror-cursor {
border-left: 4px solid black;
}
}

Loading…
Cancel
Save