/* The lint marker gutter */
.CodeMirror-lint-markers {
  width: 16px;
}

.CodeMirror-lint-tooltip {
  background-color: #eeeeee;
  border: 1px solid #cccccc;
  border-radius: 4px 4px 4px 4px;
  color: infotext;
  font-family: monospace;
  font-size: 10pt;
  overflow: hidden;
  padding: 2px 5px;
  position: fixed;
  white-space: pre;
  z-index: 100;
  max-width: 600px;
  opacity: 0;
  transition: opacity .4s;
  -moz-transition: opacity .4s;
  -webkit-transition: opacity .4s;
  -o-transition: opacity .4s;
  -ms-transition: opacity .4s;
}

.CodeMirror-lint-span-error, .CodeMirror-lint-span-warning {
  background-position: left bottom;
  background-repeat: repeat-x;
}

.CodeMirror-lint-span-error {
  border-bottom: 1px solid #444444;
}

.CodeMirror-lint-span-warning {
  border-bottom: 1px solid #444444;
}

.CodeMirror-lint-marker-error, .CodeMirror-lint-marker-warning {
  background-position: center center;
  background-repeat: no-repeat;
  cursor: pointer;
  display: inline-block;
  height: 16px;
  width: 16px;
  vertical-align: middle;
  position: relative;
}

.CodeMirror-lint-message-error, .CodeMirror-lint-message-warning {
  padding-left: 18px;
  background-position: top left;
  background-repeat: no-repeat;
}

.CodeMirror-lint-marker-error, .CodeMirror-lint-message-error {
  padding-top: 7px;
  background-image: url("warning.png");
  background-size: 7px 7px;
}

.CodeMirror-lint-marker-warning, .CodeMirror-lint-message-warning {
  padding-top: 7px;
  background-image: url("warning.png");
  background-size: 7px 7px;
}

.CodeMirror-lint-marker-multiple {
  background-image: url("warning.png");
  background-size: 7px 7px;
}

/* Styles for the overview ruler
.annotationOverview {
  cursor: pointer;
  border-radius: 2px;
  left: 2px;
  width: 8px;
}
.annotationOverview.error {
  background-color: lightcoral;
  border: 1px solid darkred;
}
.annotationOverview.warning {
  background-color: Gold;
  border: 1px solid black;
}

.annotationHTML.overlay {
  background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAcAAAAHCAYAAADEUlfTAAAAAXNSR0IArs4c6QAAAAZiS0dEAAAAAAAA+UO7fwAAAAlwSFlzAAALEwAACxMBAJqcGAAAAAd0SU1FB9sJEAQvB2JVdrAAAAAdaVRYdENvbW1lbnQAAAAAAENyZWF0ZWQgd2l0aCBHSU1QZC5lBwAAAD1JREFUCNdtjkESADAEAzemf69f66HMqGlOIhYiFRFRtSQBWAY7mzx+EDTL6sSgb1jTk7Q87rxyqe37fXsAa78gLyZnRgEAAAAASUVORK5CYII=");
  background-position: right bottom;
  position: relative;
  top: -16px;
}
*/
