.editor {
  border: 2px solid rgb(159, 159, 159);
}

.editor.focus {
  border: 2px solid #327fbd;;
}

.gutter {
  width: 40px;
  background: rgb(227, 227, 227);
  border-right: 1px solid rgb(159, 159, 159);	 
  color: rgb(136, 136, 136);
  font-family: Monaco, "Courier New";
  font-size: 12px;  
}

.gutter-layer {
  right: 10px;
  text-align: right;
}

.text-layer {
  font-family: Monaco, "Courier New", monospace;
  font-size: 12px;
  cursor: text;
}

.cursor {
  width: 2px;
  background: black;
}

.line .invisible {
  color: rgb(191, 191, 191);
}

.line .keyword {
  color: blue;
}

.line .buildin-constant {
  color: rgb(88, 72, 246);
}

.line .library-constant {
  color: rgb(6, 150, 14);
}

.line .buildin-function {
  color: rgb(60, 76, 114);
}

.line .string {
  color: rgb(3, 106, 7);
}

.line .comment {
  font-style: italic;
  color: rgb(76, 136, 107);
}

.line .doc-comment {
  color: rgb(0, 102, 255);
}

.line .doc-comment-tag {
  color: rgb(128, 159, 191);
}

.line .number {
  color: rgb(0, 0, 205);
}

.line .xml_pe {
  color: rgb(104, 104, 91);
}

.marker-layer .selection {
  background: rgb(181, 213, 255);
}

.marker-layer .bracket {
  margin: -1px 0 0 -1px;
  border: 1px solid rgb(192, 192, 192);
}

.marker-layer .active_line {
  background: rgb(232, 242, 254);
}