HighContrast: Fix outdated name for headerbar box
authorDaniel Boles <dboles@src.gnome.org>
Sun, 3 Sep 2017 12:32:14 +0000 (13:32 +0100)
committerDaniel Boles <dboles@src.gnome.org>
Sun, 3 Sep 2017 12:37:39 +0000 (13:37 +0100)
gtk/theme/HighContrast/_common.scss
gtk/theme/HighContrast/gtk-contained-inverse.css
gtk/theme/HighContrast/gtk-contained.css

index d53f38bc71af8e885a185f32d189794039c9d73a..e76c75fe65369e99c89e03ee664fcd0c55461515 100644 (file)
@@ -1225,7 +1225,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;
index 7ed1c6457cda18ee7a1af480f90bf6e57574c0fc..ab3603ca149d6ee316b5849d4ce014580ff7fb88 100644 (file)
@@ -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; }
 
index e67ce4824321518f02c8163c86af3274b2ce69d2..81058cda669c8469337b05c3e45099e8f197b63c 100644 (file)
@@ -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; }