[gtk+] HighContrast: Update progressbar styling

[Matthias Clasen <matthiasc src gnome org>]

commit 894bd132407e7f7006c88923ce00f60d6b7e283c
Author: Matthias Clasen <mclasen redhat com>
Date:   Wed Nov 4 12:43:06 2015 -0500

    HighContrast: Update progressbar styling
    
    Adjust to the chagnes in the previous commit. This partially
    undoes the earlier progressbar changes.

 gtk/theme/HighContrast/_common.scss |   28 +++++++++++++++++-----------
 gtk/theme/HighContrast/gtk.css      |   26 ++++++++++++++------------
 2 files changed, 31 insertions(+), 23 deletions(-)
---
diff --git a/gtk/theme/HighContrast/_common.scss b/gtk/theme/HighContrast/_common.scss
index 4ae043e..da38df0 100644
--- a/gtk/theme/HighContrast/_common.scss
+++ b/gtk/theme/HighContrast/_common.scss
@@ -1756,19 +1756,25 @@ progressbar {
   padding: 0;
   font-size: 83%;
   color: $fg_color;
-  border-width: 1px;
-  border-style: solid;
-  border-radius: 3px;
-  border-color: $borders_color;
-  background-color: mix($borders_color,$bg_color, 35%);
-  box-shadow: inset 1px 1px transparentize(black, 0.9);
-  &:backdrop{
+
+  &:backdrop {
     color: $insensitive_fg_color;
-    border-color: $backdrop_borders_color;
-    background-color: mix($backdrop_borders_color,$backdrop_bg_color, 35%);
-    box-shadow: 0 1px transparentize(white,1);
   }
-  &.osd {
+
+  trough {
+    border-width: 1px;
+    border-style: solid;
+    border-radius: 3px;
+    border-color: $borders_color;
+    background-color: mix($borders_color,$bg_color, 35%);
+    box-shadow: inset 1px 1px transparentize(black, 0.9);
+    &:backdrop {
+      border-color: $backdrop_borders_color;
+      background-color: mix($backdrop_borders_color,$backdrop_bg_color, 35%);
+      box-shadow: 0 1px transparentize(white,1);
+    }
+  }
+  &.osd trough {
     background-color: transparent;
     box-shadow: none;
     border-width: 0;
diff --git a/gtk/theme/HighContrast/gtk.css b/gtk/theme/HighContrast/gtk.css
index ea5a7bd..d951eb1 100644
--- a/gtk/theme/HighContrast/gtk.css
+++ b/gtk/theme/HighContrast/gtk.css
@@ -1940,19 +1940,21 @@ scale,
 progressbar {
   padding: 0;
   font-size: 83%;
-  color: #000;
-  border-width: 1px;
-  border-style: solid;
-  border-radius: 3px;
-  border-color: gray;
-  background-color: lightgray;
-  box-shadow: inset 1px 1px rgba(0, 0, 0, 0.1); }
+  color: #000; }
   progressbar:backdrop {
-    color: gray;
-    border-color: #8d8d8d;
-    background-color: #d7d7d7;
-    box-shadow: 0 1px rgba(255, 255, 255, 0); }
-  progressbar.osd {
+    color: gray; }
+  progressbar trough {
+    border-width: 1px;
+    border-style: solid;
+    border-radius: 3px;
+    border-color: gray;
+    background-color: lightgray;
+    box-shadow: inset 1px 1px rgba(0, 0, 0, 0.1); }
+    progressbar trough:backdrop {
+      border-color: #8d8d8d;
+      background-color: #d7d7d7;
+      box-shadow: 0 1px rgba(255, 255, 255, 0); }
+  progressbar.osd trough {
     background-color: transparent;
     box-shadow: none;
     border-width: 0; }