Merge branch 'remove-custom-devel-class' into 'master'
style.css: Remove custom .devel style class See merge request World/podcasts!87
This commit is contained in:
commit
7e0b88ddbd
@ -18,15 +18,3 @@ list, border {
|
|||||||
.player-show-label {
|
.player-show-label {
|
||||||
font-size: smaller;
|
font-size: smaller;
|
||||||
}
|
}
|
||||||
|
|
||||||
.devel headerbar {
|
|
||||||
background: transparent -gtk-icontheme("system-run-symbolic") 80% 0/128px 128px no-repeat,
|
|
||||||
linear-gradient(to left,
|
|
||||||
mix(@theme_selected_bg_color, @theme_bg_color, 0.5) 8%,
|
|
||||||
@theme_bg_color 25%);
|
|
||||||
color: alpha(@theme_fg_color, 0.1);
|
|
||||||
}
|
|
||||||
|
|
||||||
.devel headerbar label {
|
|
||||||
color: @theme_fg_color;
|
|
||||||
}
|
|
||||||
Loading…
Reference in New Issue
Block a user