stylus/edit/codemirror-default.css

/* Built-in CodeMirror and addon customization */

.CodeMirror-hints {
  z-index: 999;
}
.CodeMirror-hint:hover {
  color: white;
  background: #08f;
}
.CodeMirror {
  border: solid #CCC 1px;
  transition: box-shadow .1s;
}
#stylus#stylus .CodeMirror {
  /* Using a specificity hack to override userstyles */
  /* Not using the ring-color hack as it became ugly in new Chrome */
  outline: none !important;
}
.CodeMirror-dialog {
  animation: highlight 3s cubic-bezier(.18, .02, 0, .94);
}
.CodeMirror-search-field {
  width: 10em;
}
.CodeMirror-jump-field {
  width: 5em;
}
.CodeMirror-search-hint {
  color: #888;
}
.CodeMirror-activeline .applies-to:before {
  background-color: hsla(214, 100%, 90%, 0.15);
  content: "";
  top: 1em;
  left: 0;
  right: 0;
  bottom: 1em;
  position: absolute;
  pointer-events: none;
}
.CodeMirror-activeline .applies-to ul {
  z-index: 2;
}
.CodeMirror-foldgutter-open::after,
.CodeMirror-foldgutter-folded::after {
  top: 5px;
  width: 0;
  height: 0;
  content: "";
  position: absolute;
  border-style: solid;
  opacity: .5;
  left: 1px;
}
.CodeMirror-foldgutter-open::after {
  border-width: 5px 3px 0 3px;
  border-color: currentColor transparent transparent transparent;
}
.CodeMirror-foldgutter-folded::after {
  margin-top: -2px;
  margin-left: 1px;
  border-width: 4px 0 4px 5px;
  border-color: transparent transparent transparent currentColor;
}
.CodeMirror-linenumber {
  cursor: pointer; /* for bookmarking */
}

/* Custom stuff we add to CodeMirror */

.cm-uso-variable {
  font-weight: bold;
}
.gutter-bookmark {
  background: linear-gradient(0deg, hsla(180, 100%, 30%, .75) 2px, hsla(180, 100%, 30%, .2) 2px);
}