From f755c969f81bbfe02a4232af8e046fecd6acd073 Mon Sep 17 00:00:00 2001
From: "meeseeksdev[bot]" <meeseeksdev[bot]@users.noreply.github.com>
Date: Mon, 30 Oct 2017 10:04:36 -0700
Subject: [PATCH] Backport PR #2983: Add more border width to CodeMirror cursor
 (#2994)

---
 notebook/static/notebook/less/codemirror.less | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

diff --git a/notebook/static/notebook/less/codemirror.less b/notebook/static/notebook/less/codemirror.less
index 37ca1db75..c99bc7484 100644
--- a/notebook/static/notebook/less/codemirror.less
+++ b/notebook/static/notebook/less/codemirror.less
@@ -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;
+    }
+}