2016-09-20 17:51:09 +02:00
|
|
|
// brown: #6C4D13
|
|
|
|
// black: #333
|
|
|
|
// blue: #0F9DD7
|
|
|
|
// pink: #D9328F
|
|
|
|
// gray: #999999
|
|
|
|
// dark blue: #318094
|
|
|
|
// white: #fdfdfd
|
|
|
|
|
|
|
|
//numbers
|
|
|
|
//light gray: #f4f4f4
|
|
|
|
//dark gray: #b5b5b5
|
|
|
|
|
2016-09-22 00:52:44 +02:00
|
|
|
$p5-dark-lightbrown: #A67F59;
|
2017-02-10 18:23:11 +01:00
|
|
|
$p5-light-green: #42F48F;
|
2016-09-20 17:51:09 +02:00
|
|
|
$p5-dark-black: #333;
|
|
|
|
$p5-dark-pink: #D9328F;
|
2016-09-22 00:52:44 +02:00
|
|
|
$p5-dark-gray: #A0A0A0;
|
|
|
|
$p5-dark-lightblue: #00A1D3;
|
|
|
|
$p5-dark-darkblue: #2D7BB6;
|
|
|
|
$p5-dark-white: #FDFDFD;
|
|
|
|
$p5-dark-orange: #EE9900;
|
|
|
|
$p5-dark-lightgray: #E0D7D1;
|
|
|
|
$p5-dark-darkgray: #666666;
|
2017-08-03 23:09:25 +02:00
|
|
|
$p5-dark-green: #58a10b;
|
|
|
|
$p5-dark-goldbrown: #b58317;
|
2016-09-22 00:52:44 +02:00
|
|
|
|
|
|
|
$p5-dark-gutter: #f4f4f4;
|
|
|
|
$p5-dark-number: #b5b5b5;
|
2016-09-20 17:51:09 +02:00
|
|
|
$p5-dark-selected: rgba(45, 123, 182, 25);
|
|
|
|
$p5-dark-activeline: rgb(207, 207, 207);
|
|
|
|
|
|
|
|
.cm-s-p5-dark {
|
|
|
|
background-color: $p5-dark-black;
|
|
|
|
color: $p5-dark-white;
|
|
|
|
}
|
|
|
|
|
|
|
|
.cm-s-p5-dark .cm-comment {
|
|
|
|
color: $p5-dark-gray;
|
|
|
|
}
|
|
|
|
|
|
|
|
.cm-s-p5-dark .cm-def {
|
2016-09-22 00:52:44 +02:00
|
|
|
color: $p5-dark-darkblue;
|
2016-09-20 17:51:09 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
.cm-s-p5-dark .cm-string {
|
2017-08-03 23:09:25 +02:00
|
|
|
color: $p5-dark-green;
|
2016-09-20 17:51:09 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
.cm-s-p5-dark .cm-string-2 {
|
2016-09-22 00:52:44 +02:00
|
|
|
color: $p5-dark-orange;
|
2016-09-20 17:51:09 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
.cm-s-p5-dark .cm-number {
|
2017-08-03 23:09:25 +02:00
|
|
|
color: $p5-dark-white;
|
2016-09-20 17:51:09 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
.cm-s-p5-dark .cm-keyword {
|
2017-08-03 23:09:25 +02:00
|
|
|
color: $p5-dark-goldbrown;
|
2016-09-20 17:51:09 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
.cm-s-p5-dark .cm-variable {
|
2016-09-22 00:52:44 +02:00
|
|
|
color: $p5-dark-lightblue;
|
2016-09-20 17:51:09 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
.cm-s-p5-dark .cm-variable-2 {
|
|
|
|
color: $p5-dark-white;
|
|
|
|
}
|
|
|
|
|
|
|
|
.cm-s-p5-dark .cm-property {
|
|
|
|
color: $p5-dark-white;
|
|
|
|
}
|
|
|
|
|
|
|
|
.cm-s-p5-dark .cm-atom {
|
|
|
|
color: $p5-dark-pink;
|
|
|
|
}
|
|
|
|
|
|
|
|
.cm-s-p5-dark .cm-operator {
|
2016-09-22 00:52:44 +02:00
|
|
|
color: $p5-dark-lightbrown;
|
2016-09-20 17:51:09 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
.cm-s-p5-dark .cm-linenumber {
|
2016-09-22 00:52:44 +02:00
|
|
|
color: $p5-dark-number;
|
2016-09-20 17:51:09 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
.cm-s-p5-dark .CodeMirror-selected {
|
|
|
|
background-color: $p5-dark-selected;
|
|
|
|
}
|
|
|
|
|
|
|
|
.cm-s-p5-dark .CodeMirror-activeline-background {
|
2016-09-22 00:52:44 +02:00
|
|
|
background-color: #404040;
|
2016-09-20 17:51:09 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
.cm-s-p5-dark .CodeMirror-activeline-gutter {
|
2016-09-22 00:52:44 +02:00
|
|
|
background-color: #454545;
|
|
|
|
border-right: 1px solid #949494;
|
2016-09-20 17:51:09 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
.cm-s-p5-dark .cm-error {
|
|
|
|
color: #f00;
|
|
|
|
}
|
|
|
|
|
|
|
|
.cm-s-p5-dark .CodeMirror-matchingbracket {
|
|
|
|
outline: 1px solid $p5-dark-darkgray;
|
|
|
|
color: black !important;
|
|
|
|
}
|
|
|
|
|
|
|
|
.cm-s-p5-dark .cm-qualifier {
|
2016-09-22 00:52:44 +02:00
|
|
|
color: $p5-dark-lightblue;
|
2016-09-20 17:51:09 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
.cm-s-p5-dark .cm-tag {
|
2016-09-22 00:52:44 +02:00
|
|
|
color: $p5-dark-pink;
|
2016-09-20 17:51:09 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
.cm-s-p5-dark .cm-builtin {
|
2016-09-22 00:52:44 +02:00
|
|
|
color: $p5-dark-lightblue;
|
2016-09-20 17:51:09 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
.cm-s-p5-dark .cm-attribute {
|
2016-09-22 00:52:44 +02:00
|
|
|
color: $p5-dark-lightblue;
|
2016-12-07 20:41:05 +01:00
|
|
|
}
|
|
|
|
|
|
|
|
.cm-s-p5-dark .cm-p5-function {
|
|
|
|
color: $p5-dark-darkblue;
|
|
|
|
}
|
|
|
|
|
|
|
|
.cm-s-p5-dark .cm-p5-variable {
|
|
|
|
color: $p5-dark-pink;
|
|
|
|
font-weight: bold;
|
2017-02-10 18:23:11 +01:00
|
|
|
}
|