From 9ed8bb4df6e5567fcf3648513bdc5c69c19a4921 Mon Sep 17 00:00:00 2001
From: Dustin Falgout <dustin@falgout.us>
Date: Sat, 7 May 2016 00:27:57 -0500
Subject: [PATCH] fix progressbar styles when inside an osd. disable psuedo
 element warnings. darken separator color for titlebuttons.

---
 .scss-lint.yml                      |  3 +++
 gtk-3.20/scss/widgets/_osd.scss     | 12 ++++++------
 gtk-3.20/scss/widgets/_toolbar.scss |  2 +-
 3 files changed, 10 insertions(+), 7 deletions(-)

diff --git a/.scss-lint.yml b/.scss-lint.yml
index 9784ac2..c949232 100644
--- a/.scss-lint.yml
+++ b/.scss-lint.yml
@@ -106,6 +106,9 @@ linters:
     enabled: true
     global: [ "px", "%", "s", "ms" ]
 
+  PseudoElement:
+    enabled: false
+
   QualifyingElement:
     enabled: false
     allow_element_with_attribute: false
diff --git a/gtk-3.20/scss/widgets/_osd.scss b/gtk-3.20/scss/widgets/_osd.scss
index b4f4b4a..8c4f852 100644
--- a/gtk-3.20/scss/widgets/_osd.scss
+++ b/gtk-3.20/scss/widgets/_osd.scss
@@ -106,14 +106,14 @@
         }
     }
 
-    .osd progressBar, progressBar.osd {
-        -GtkProgressBar-xspacing: 0;
-        -GtkProgressBar-yspacing: 2px;
-        -GtkProgressBar-min-horizontal-bar-height: 2px;
+    .osd progressbar, progressbar.osd {
+        margin: 2px;
+        min-height: 2px;
+        min-width: 2px;
 
         padding: 0;
 
-        &.trough {
+        trough {
             padding: 0;
             border-style: none;
             border-radius: 0;
@@ -121,7 +121,7 @@
             background-color: transparent;
         }
 
-        &.progressbar {
+        progress {
             border-style: none;
             border-radius: 0;
             background-color: $selected_bg_color;
diff --git a/gtk-3.20/scss/widgets/_toolbar.scss b/gtk-3.20/scss/widgets/_toolbar.scss
index cff9e7a..be53207 100755
--- a/gtk-3.20/scss/widgets/_toolbar.scss
+++ b/gtk-3.20/scss/widgets/_toolbar.scss
@@ -46,7 +46,7 @@
     &.vertical separator { margin: ($spacing + 2px) 1px ($spacing + 2px) 0; }
 
     separator, separator:disabled {
-        color: shade($bg, ($contrast + .1));
+        color: shade($bg, ($contrast - .2));
         border-color: currentColor;
 
         -GtkWidget-window-dragging: true;