diff options
| author | Cosimo Cecchi <cosimoc@gnome.org> | 2015-12-30 11:07:26 -0800 |
|---|---|---|
| committer | Cosimo Cecchi <cosimoc@gnome.org> | 2016-01-02 18:45:25 -0800 |
| commit | b24482d9e5393ecb653eb5e5b816b471ccd969b2 (patch) | |
| tree | 6869845a91b9d423f4a326cd2ea5d739a8fa589d | |
| parent | dff229939a14a5587b540a0309d39811cf52b334 (diff) | |
| download | gtk+-wip/cosimoc/separator-deprecation.tar.gz | |
HighContrast: remove unused selectorwip/cosimoc/separator-deprecation
There's no header-bar-separator style class.
| -rw-r--r-- | gtk/theme/HighContrast/_common.scss | 1 | ||||
| -rw-r--r-- | 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 5f86c32468..24ba6b4cc7 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 77ed4987da..866d2934db 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; |