Remove cursor animation, which slows down screen updates when typing

static/editor.css

@@ -99,23 +99,11 @@
   vertical-align: top;
 }
 
-@-webkit-keyframes blink {
-  0% { opacity: 1; }
-  60% { opacity: 1; }
-  61% { opacity: 0; }
-  100% { opacity: 0; }
-}
-
 .editor .cursor {
   position: absolute;
   border-left: 2px solid;
 }
 
-.editor.focused .cursor.idle {
-  -webkit-animation: blink 0.8s;
-  -webkit-animation-iteration-count: infinite;
-}
-
 .editor .hidden-input {
   position: absolute;
   z-index: -1;