So it will play nicely with gedit color combinations.
See https://bugzilla.gnome.org/show_bug.cgi?id=764203
textview border {
background-color: mix($bg_color, $base_color, 50%);
- background-image: image($bg_color); // HACK: the border node just draws background so, using a background-image to draw the border
- background-repeat: no-repeat;
+ background-image: image(transparentize(black, 0.8)); // HACK: the border node just draws background so,
+ background-repeat: no-repeat; // using a background-image to draw the border
- &:backdrop {
- background-color: mix($backdrop_bg_color, $backdrop_base_color, 50%);
- background-image: image($backdrop_bg_color);
- }
+ &:backdrop { background-color: mix($backdrop_bg_color, $backdrop_base_color, 50%); }
&.bottom {
background-size: 100% 1px;
textview border {
background-color: #313434;
- background-image: image(#393f3f);
+ background-image: image(rgba(0, 0, 0, 0.2));
background-repeat: no-repeat; }
textview border:backdrop {
- background-color: #333636;
- background-image: image(#393f3f); }
+ background-color: #333636; }
textview border.bottom {
background-size: 100% 1px;
background-position: top; }
textview border {
background-color: #f4f4f3;
- background-image: image(#e8e8e7);
+ background-image: image(rgba(0, 0, 0, 0.2));
background-repeat: no-repeat; }
textview border:backdrop {
- background-color: #f2f2f2;
- background-image: image(#e8e8e7); }
+ background-color: #f2f2f2; }
textview border.bottom {
background-size: 100% 1px;
background-position: top; }