[gtk+/wip/cosimoc/separator-deprecation] HighContrast: remove unused selector

[Cosimo Cecchi <cosimoc src gnome org>]

commit 1130b172243e5a34a02ad3bb2fe0680d04ae576f
Author: Cosimo Cecchi <cosimoc gnome org>
Date:   Wed Dec 30 11:07:26 2015 -0800

    HighContrast: remove unused selector
    
    There's no header-bar-separator style class.

 gtk/theme/HighContrast/_common.scss |    1 -
 gtk/theme/HighContrast/gtk.css      |    3 +--
 2 files changed, 1 insertions(+), 3 deletions(-)
---
diff --git a/gtk/theme/HighContrast/_common.scss b/gtk/theme/HighContrast/_common.scss
index 5f86c32..24ba6b4 100644
--- a/gtk/theme/HighContrast/_common.scss
+++ b/gtk/theme/HighContrast/_common.scss
@@ -890,7 +890,6 @@ headerbar {
     font-size: 80%;
     padding: 0 12px;
   }
-  .header-bar-separator,
   & > GtkBox > separator.vertical {
     border-width: 0 1px;
     border-color: $fg_color;
diff --git a/gtk/theme/HighContrast/gtk.css b/gtk/theme/HighContrast/gtk.css
index 77ed498..866d293 100644
--- a/gtk/theme/HighContrast/gtk.css
+++ b/gtk/theme/HighContrast/gtk.css
@@ -981,8 +981,7 @@ headerbar {
   headerbar .subtitle {
     font-size: 80%;
     padding: 0 12px; }
-  .titlebar .header-bar-separator, .titlebar > GtkBox > separator.vertical,
-  headerbar .header-bar-separator,
+  .titlebar > GtkBox > separator.vertical,
   headerbar > GtkBox > separator.vertical,
   placessidebar .view headerbar > GtkBox > separator.vertical:backdrop {
     border-width: 0 1px;