3.20: update gnome-builder styling (fix #514)

2 files changed, 6 insertions, 4 deletions

diff --git a/common/gtk-3.0/3.20/sass/_applications.scss b/common/gtk-3.0/3.20/sass/_applications.scss
index 75db7a2..f7b9d54 100644
--- a/common/gtk-3.0/3.20/sass/_applications.scss
+++ b/common/gtk-3.0/3.20/sass/_applications.scss
@@ -274,13 +274,13 @@ pillbox {
   border-radius: 3px;
 }
 
-tabstrip {
+docktabstrip {
   padding: 0 6px;
 
   background-color: $bg_color;
   border-bottom: 1px solid $borders_color;
 
-  tab {
+  docktab {
     min-height: 28px;
     border: solid transparent;
     border-width: 0 1px;
@@ -307,7 +307,7 @@ dockpaned {
 dockoverlayedge {
   background-color: $bg_color;
 
-  tabstrip {
+  docktabstrip {
     padding: 0;
     border: none;
   }
diff --git a/common/gtk-3.0/3.20/sass/_common.scss b/common/gtk-3.0/3.20/sass/_common.scss
index bf4aef9..b024f0f 100644
--- a/common/gtk-3.0/3.20/sass/_common.scss
+++ b/common/gtk-3.0/3.20/sass/_common.scss
@@ -257,7 +257,9 @@ entry {
 
   // error and warning style
   @each $e_type, $e_color in (warning, $warning_color),
-                             (error, $error_color) {
+                             (error, $error_color),
+                              // entry.search-missing for Gnome-Builder
+                             (search-missing, $error_color) {
     &.#{$e_type} {
       color: $selected_fg_color;
       border-color: if($variant=='light', $e_color, $entry_border);