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

1 files changed, 19 insertions, 6 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,