File tree Expand file tree Collapse file tree 2 files changed +6
-7
lines changed Expand file tree Collapse file tree 2 files changed +6
-7
lines changed Original file line number Diff line number Diff line change @@ -2,11 +2,8 @@ $base-font-size: 12;
2
2
3
3
// colors
4
4
$p5js-pink : #ed225d ;
5
- $p5js-pink-opacity : #ed225d66 ;
6
- $pink-contrast-opacity : #ed225ba4 ;
5
+ $p5js-pink-opacity : #ed225d80 ;
7
6
$processing-blue : #007BBB ;
8
- $processing-blue-opacity : #007BBB66 ;
9
- $orange-contrast-opacity : #ffee009a ;
10
7
$p5js-active-pink : #f10046 ;
11
8
$white : #fff ;
12
9
$black : #000 ;
Original file line number Diff line number Diff line change @@ -137,9 +137,11 @@ $p5-contrast-activeline: #999999;
137
137
}
138
138
139
139
.cm-s-p5-contrast .cm-searching {
140
- background-color : $pink-contrast-opacity ;
140
+ // background-color: $p5js-pink-opacity;
141
+ background-color : $medium-dark ;
141
142
}
142
143
143
- .cm-s-p5-contrast .CodeMirror-selectedtext {
144
- background-color : $orange-contrast-opacity ;
144
+ .cm-s-p5-contrast .cm-searching.CodeMirror-selectedtext {
145
+ // background-color: $medium-dark;
146
+ outline : #{1 / $base-font-size } rem solid $p5-contrast-white ;
145
147
}
You can’t perform that action at this time.
0 commit comments