[gtk+] HighContrast: Fix outdated name for headerbar box

[Daniel Boles <dboles src gnome org>]

commit 8cd37ff0df75d890d71d40c0f23a42533853ad7b
Author: Daniel Boles <dboles src gnome org>
Date:   Sun Sep 3 13:32:14 2017 +0100

    HighContrast: Fix outdated name for headerbar box

 gtk/theme/HighContrast/_common.scss              |    2 +-
 gtk/theme/HighContrast/gtk-contained-inverse.css |    2 +-
 gtk/theme/HighContrast/gtk-contained.css         |    2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)
---
diff --git a/gtk/theme/HighContrast/_common.scss b/gtk/theme/HighContrast/_common.scss
index 396aff8..35198da 100644
--- a/gtk/theme/HighContrast/_common.scss
+++ b/gtk/theme/HighContrast/_common.scss
@@ -1209,7 +1209,7 @@ headerbar {
     font-size: 80%;
     padding: 0 12px;
   }
-  & > GtkBox > separator.vertical {
+  & > box > separator.vertical {
     border-width: 0 1px;
     border-color: $fg_color;
     border-style: solid;
diff --git a/gtk/theme/HighContrast/gtk-contained-inverse.css 
b/gtk/theme/HighContrast/gtk-contained-inverse.css
index e2fd440..efc4f06 100644
--- a/gtk/theme/HighContrast/gtk-contained-inverse.css
+++ b/gtk/theme/HighContrast/gtk-contained-inverse.css
@@ -490,7 +490,7 @@ toolbar.inline-toolbar:backdrop, searchbar.inline-toolbar:backdrop { border-colo
 
 .titlebar .subtitle, headerbar .subtitle { font-size: 80%; padding: 0 12px; }
 
-.titlebar > GtkBox > separator.vertical, headerbar > GtkBox > separator.vertical { border-width: 0 1px; 
border-color: #fff; border-style: solid; }
+.titlebar > box > separator.vertical, headerbar > box > separator.vertical { border-width: 0 1px; 
border-color: #fff; border-style: solid; }
 
 .titlebar.selection-mode, headerbar.selection-mode { color: #b7b7b7; text-shadow: 0 1px rgba(0, 0, 0, 0.5); 
background-image: linear-gradient(to bottom, #eaeaea, #e2e2e2); box-shadow: inset 0 -1px #262626, inset 0 1px 
#6f6f6f; }
 
diff --git a/gtk/theme/HighContrast/gtk-contained.css b/gtk/theme/HighContrast/gtk-contained.css
index d3d4280..b60f91e 100644
--- a/gtk/theme/HighContrast/gtk-contained.css
+++ b/gtk/theme/HighContrast/gtk-contained.css
@@ -494,7 +494,7 @@ toolbar.inline-toolbar:backdrop, searchbar.inline-toolbar:backdrop { border-colo
 
 .titlebar .subtitle, headerbar .subtitle { font-size: 80%; padding: 0 12px; }
 
-.titlebar > GtkBox > separator.vertical, headerbar > GtkBox > separator.vertical { border-width: 0 1px; 
border-color: #000; border-style: solid; }
+.titlebar > box > separator.vertical, headerbar > box > separator.vertical { border-width: 0 1px; 
border-color: #000; border-style: solid; }
 
 .titlebar.selection-mode, headerbar.selection-mode { color: black; text-shadow: 0 1px rgba(0, 0, 0, 0.5); 
background-image: linear-gradient(to bottom, #0d0d0d, #050505); box-shadow: inset 0 -1px #d9d9d9, inset 0 1px 
gray; }