From 5ec25f42e6397f1313f5dc927535a299a2043410 Mon Sep 17 00:00:00 2001
From: Horst3180
Date: Sun, 8 May 2016 19:36:34 +0200
Subject: 3.20: update gnome-builder styling (fix #514)

---
 common/gtk-3.0/3.20/gtk-dark.css            | 25 +++++++++++++++++++------
 common/gtk-3.0/3.20/gtk-darker.css          | 25 +++++++++++++++++++------
 common/gtk-3.0/3.20/gtk-solid-dark.css      | 25 +++++++++++++++++++------
 common/gtk-3.0/3.20/gtk-solid-darker.css    | 25 +++++++++++++++++++------
 common/gtk-3.0/3.20/gtk-solid.css           | 25 +++++++++++++++++++------
 common/gtk-3.0/3.20/gtk.css                 | 25 +++++++++++++++++++------
 common/gtk-3.0/3.20/sass/_applications.scss |  6 +++---
 common/gtk-3.0/3.20/sass/_common.scss       |  4 +++-
 8 files changed, 120 insertions(+), 40 deletions(-)

diff --git a/common/gtk-3.0/3.20/gtk-dark.css b/common/gtk-3.0/3.20/gtk-dark.css
index d0fe334..ac96b2d 100644
--- a/common/gtk-3.0/3.20/gtk-dark.css
+++ b/common/gtk-3.0/3.20/gtk-dark.css
@@ -203,6 +203,19 @@ entry {
     entry.error selection, entry.error selection:focus {
       background-color: #ffffff;
       color: #FC4138; }
+  entry.search-missing {
+    color: #ffffff;
+    border-color: #2b2e39;
+    background-image: linear-gradient(to bottom, #b14342); }
+    entry.search-missing image {
+      color: #ffffff; }
+    entry.search-missing:focus {
+      color: #ffffff;
+      background-image: linear-gradient(to bottom, #FC4138);
+      box-shadow: none; }
+    entry.search-missing selection, entry.search-missing selection:focus {
+      background-color: #ffffff;
+      color: #FC4138; }
   entry:drop(active):focus, entry:drop(active) {
     border-color: #F08437;
     box-shadow: none; }
@@ -3347,19 +3360,19 @@ pillbox {
   background-color: #5294E2;
   border-radius: 3px; }
 
-tabstrip {
+docktabstrip {
   padding: 0 6px;
   background-color: #383C4A;
   border-bottom: 1px solid #2b2e39; }
-  tabstrip tab {
+  docktabstrip docktab {
     min-height: 28px;
     border: solid transparent;
     border-width: 0 1px; }
-    tabstrip tab label {
+    docktabstrip docktab label {
       opacity: 0.5; }
-    tabstrip tab:checked label, tabstrip tab:hover label {
+    docktabstrip docktab:checked label, docktabstrip docktab:hover label {
       opacity: 1; }
-    tabstrip tab:checked {
+    docktabstrip docktab:checked {
       border-color: #2b2e39;
       background-color: #404552; }
 
@@ -3372,7 +3385,7 @@ dockpaned {
 
 dockoverlayedge {
   background-color: #383C4A; }
-  dockoverlayedge tabstrip {
+  dockoverlayedge docktabstrip {
     padding: 0;
     border: none; }
   dockoverlayedge.left-edge tab:checked,
diff --git a/common/gtk-3.0/3.20/gtk-darker.css b/common/gtk-3.0/3.20/gtk-darker.css
index 91bca7d..83db1c3 100644
--- a/common/gtk-3.0/3.20/gtk-darker.css
+++ b/common/gtk-3.0/3.20/gtk-darker.css
@@ -202,6 +202,19 @@ entry {
     entry.error selection, entry.error selection:focus {
       background-color: #ffffff;
       color: #FC4138; }
+  entry.search-missing {
+    color: #ffffff;
+    border-color: #FC4138;
+    background-image: linear-gradient(to bottom, #fd8d88); }
+    entry.search-missing image {
+      color: #ffffff; }
+    entry.search-missing:focus {
+      color: #ffffff;
+      background-image: linear-gradient(to bottom, #FC4138);
+      box-shadow: none; }
+    entry.search-missing selection, entry.search-missing selection:focus {
+      background-color: #ffffff;
+      color: #FC4138; }
   entry:drop(active):focus, entry:drop(active) {
     border-color: #F08437;
     box-shadow: none; }
@@ -3345,19 +3358,19 @@ pillbox {
   background-color: #5294E2;
   border-radius: 3px; }
 
-tabstrip {
+docktabstrip {
   padding: 0 6px;
   background-color: #F5F6F7;
   border-bottom: 1px solid #dcdfe3; }
-  tabstrip tab {
+  docktabstrip docktab {
     min-height: 28px;
     border: solid transparent;
     border-width: 0 1px; }
-    tabstrip tab label {
+    docktabstrip docktab label {
       opacity: 0.5; }
-    tabstrip tab:checked label, tabstrip tab:hover label {
+    docktabstrip docktab:checked label, docktabstrip docktab:hover label {
       opacity: 1; }
-    tabstrip tab:checked {
+    docktabstrip docktab:checked {
       border-color: #dcdfe3;
       background-color: #ffffff; }
 
@@ -3370,7 +3383,7 @@ dockpaned {
 
 dockoverlayedge {
   background-color: #F5F6F7; }
-  dockoverlayedge tabstrip {
+  dockoverlayedge docktabstrip {
     padding: 0;
     border: none; }
   dockoverlayedge.left-edge tab:checked,
diff --git a/common/gtk-3.0/3.20/gtk-solid-dark.css b/common/gtk-3.0/3.20/gtk-solid-dark.css
index 690501a..d320cae 100644
--- a/common/gtk-3.0/3.20/gtk-solid-dark.css
+++ b/common/gtk-3.0/3.20/gtk-solid-dark.css
@@ -203,6 +203,19 @@ entry {
     entry.error selection, entry.error selection:focus {
       background-color: #ffffff;
       color: #FC4138; }
+  entry.search-missing {
+    color: #ffffff;
+    border-color: #2b2e39;
+    background-image: linear-gradient(to bottom, #b14342); }
+    entry.search-missing image {
+      color: #ffffff; }
+    entry.search-missing:focus {
+      color: #ffffff;
+      background-image: linear-gradient(to bottom, #FC4138);
+      box-shadow: none; }
+    entry.search-missing selection, entry.search-missing selection:focus {
+      background-color: #ffffff;
+      color: #FC4138; }
   entry:drop(active):focus, entry:drop(active) {
     border-color: #F08437;
     box-shadow: none; }
@@ -3347,19 +3360,19 @@ pillbox {
   background-color: #5294E2;
   border-radius: 3px; }
 
-tabstrip {
+docktabstrip {
   padding: 0 6px;
   background-color: #383C4A;
   border-bottom: 1px solid #2b2e39; }
-  tabstrip tab {
+  docktabstrip docktab {
     min-height: 28px;
     border: solid transparent;
     border-width: 0 1px; }
-    tabstrip tab label {
+    docktabstrip docktab label {
       opacity: 0.5; }
-    tabstrip tab:checked label, tabstrip tab:hover label {
+    docktabstrip docktab:checked label, docktabstrip docktab:hover label {
       opacity: 1; }
-    tabstrip tab:checked {
+    docktabstrip docktab:checked {
       border-color: #2b2e39;
       background-color: #404552; }
 
@@ -3372,7 +3385,7 @@ dockpaned {
 
 dockoverlayedge {
   background-color: #383C4A; }
-  dockoverlayedge tabstrip {
+  dockoverlayedge docktabstrip {
     padding: 0;
     border: none; }
   dockoverlayedge.left-edge tab:checked,
diff --git a/common/gtk-3.0/3.20/gtk-solid-darker.css b/common/gtk-3.0/3.20/gtk-solid-darker.css
index 641437b..559549e 100644
--- a/common/gtk-3.0/3.20/gtk-solid-darker.css
+++ b/common/gtk-3.0/3.20/gtk-solid-darker.css
@@ -202,6 +202,19 @@ entry {
     entry.error selection, entry.error selection:focus {
       background-color: #ffffff;
       color: #FC4138; }
+  entry.search-missing {
+    color: #ffffff;
+    border-color: #FC4138;
+    background-image: linear-gradient(to bottom, #fd8d88); }
+    entry.search-missing image {
+      color: #ffffff; }
+    entry.search-missing:focus {
+      color: #ffffff;
+      background-image: linear-gradient(to bottom, #FC4138);
+      box-shadow: none; }
+    entry.search-missing selection, entry.search-missing selection:focus {
+      background-color: #ffffff;
+      color: #FC4138; }
   entry:drop(active):focus, entry:drop(active) {
     border-color: #F08437;
     box-shadow: none; }
@@ -3345,19 +3358,19 @@ pillbox {
   background-color: #5294E2;
   border-radius: 3px; }
 
-tabstrip {
+docktabstrip {
   padding: 0 6px;
   background-color: #F5F6F7;
   border-bottom: 1px solid #dcdfe3; }
-  tabstrip tab {
+  docktabstrip docktab {
     min-height: 28px;
     border: solid transparent;
     border-width: 0 1px; }
-    tabstrip tab label {
+    docktabstrip docktab label {
       opacity: 0.5; }
-    tabstrip tab:checked label, tabstrip tab:hover label {
+    docktabstrip docktab:checked label, docktabstrip docktab:hover label {
       opacity: 1; }
-    tabstrip tab:checked {
+    docktabstrip docktab:checked {
       border-color: #dcdfe3;
       background-color: #ffffff; }
 
@@ -3370,7 +3383,7 @@ dockpaned {
 
 dockoverlayedge {
   background-color: #F5F6F7; }
-  dockoverlayedge tabstrip {
+  dockoverlayedge docktabstrip {
     padding: 0;
     border: none; }
   dockoverlayedge.left-edge tab:checked,
diff --git a/common/gtk-3.0/3.20/gtk-solid.css b/common/gtk-3.0/3.20/gtk-solid.css
index ba5d78f..353da1e 100644
--- a/common/gtk-3.0/3.20/gtk-solid.css
+++ b/common/gtk-3.0/3.20/gtk-solid.css
@@ -202,6 +202,19 @@ entry {
     entry.error selection, entry.error selection:focus {
       background-color: #ffffff;
       color: #FC4138; }
+  entry.search-missing {
+    color: #ffffff;
+    border-color: #FC4138;
+    background-image: linear-gradient(to bottom, #fd8d88); }
+    entry.search-missing image {
+      color: #ffffff; }
+    entry.search-missing:focus {
+      color: #ffffff;
+      background-image: linear-gradient(to bottom, #FC4138);
+      box-shadow: none; }
+    entry.search-missing selection, entry.search-missing selection:focus {
+      background-color: #ffffff;
+      color: #FC4138; }
   entry:drop(active):focus, entry:drop(active) {
     border-color: #F08437;
     box-shadow: none; }
@@ -3349,19 +3362,19 @@ pillbox {
   background-color: #5294E2;
   border-radius: 3px; }
 
-tabstrip {
+docktabstrip {
   padding: 0 6px;
   background-color: #F5F6F7;
   border-bottom: 1px solid #dcdfe3; }
-  tabstrip tab {
+  docktabstrip docktab {
     min-height: 28px;
     border: solid transparent;
     border-width: 0 1px; }
-    tabstrip tab label {
+    docktabstrip docktab label {
       opacity: 0.5; }
-    tabstrip tab:checked label, tabstrip tab:hover label {
+    docktabstrip docktab:checked label, docktabstrip docktab:hover label {
       opacity: 1; }
-    tabstrip tab:checked {
+    docktabstrip docktab:checked {
       border-color: #dcdfe3;
       background-color: #ffffff; }
 
@@ -3374,7 +3387,7 @@ dockpaned {
 
 dockoverlayedge {
   background-color: #F5F6F7; }
-  dockoverlayedge tabstrip {
+  dockoverlayedge docktabstrip {
     padding: 0;
     border: none; }
   dockoverlayedge.left-edge tab:checked,
diff --git a/common/gtk-3.0/3.20/gtk.css b/common/gtk-3.0/3.20/gtk.css
index 8999203..9776266 100644
--- a/common/gtk-3.0/3.20/gtk.css
+++ b/common/gtk-3.0/3.20/gtk.css
@@ -202,6 +202,19 @@ entry {
     entry.error selection, entry.error selection:focus {
       background-color: #ffffff;
       color: #FC4138; }
+  entry.search-missing {
+    color: #ffffff;
+    border-color: #FC4138;
+    background-image: linear-gradient(to bottom, #fd8d88); }
+    entry.search-missing image {
+      color: #ffffff; }
+    entry.search-missing:focus {
+      color: #ffffff;
+      background-image: linear-gradient(to bottom, #FC4138);
+      box-shadow: none; }
+    entry.search-missing selection, entry.search-missing selection:focus {
+      background-color: #ffffff;
+      color: #FC4138; }
   entry:drop(active):focus, entry:drop(active) {
     border-color: #F08437;
     box-shadow: none; }
@@ -3349,19 +3362,19 @@ pillbox {
   background-color: #5294E2;
   border-radius: 3px; }
 
-tabstrip {
+docktabstrip {
   padding: 0 6px;
   background-color: #F5F6F7;
   border-bottom: 1px solid #dcdfe3; }
-  tabstrip tab {
+  docktabstrip docktab {
     min-height: 28px;
     border: solid transparent;
     border-width: 0 1px; }
-    tabstrip tab label {
+    docktabstrip docktab label {
       opacity: 0.5; }
-    tabstrip tab:checked label, tabstrip tab:hover label {
+    docktabstrip docktab:checked label, docktabstrip docktab:hover label {
       opacity: 1; }
-    tabstrip tab:checked {
+    docktabstrip docktab:checked {
       border-color: #dcdfe3;
       background-color: #ffffff; }
 
@@ -3374,7 +3387,7 @@ dockpaned {
 
 dockoverlayedge {
   background-color: #F5F6F7; }
-  dockoverlayedge tabstrip {
+  dockoverlayedge docktabstrip {
     padding: 0;
     border: none; }
   dockoverlayedge.left-edge tab:checked,
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);
-- 
cgit v1.2.3