Merge branch 'devel-styling' into 'master'

Devel styling

See merge request GNOME/gtk!168
This commit is contained in:
Matthias Clasen 2018-07-30 10:49:56 +00:00
commit de17e3b525

View File

@ -1695,6 +1695,17 @@ headerbar { // headerbar border rounding
@extend %titlebar;
}
// Development versions of apps to use a differently styled headerbar
window.devel {
headerbar { // FIXME: avoid using hardcoded colors
background: transparent -gtk-icontheme("system-run-symbolic") 80% 0/128px 128px no-repeat,
linear-gradient(to left, mix($selected_bg_color, $bg_color, 50%) 8%, $bg_color 25%);
color: transparentize($fg_color,.9);
label { color: $fg_color; }
}
}
/************
* Pathbars *