.cm-s-default .cm-quote       { color: #008200; }
.cm-s-default .cm-variable-3,
.cm-s-default .cm-type         { color: #007a4c; }