mirror of
https://gitlab.gnome.org/GNOME/gtk.git
synced 2024-11-10 19:00:08 +00:00
f6757e0c0c
This is mostly search and replace ala GtkButton => button GtkWindow => window .button => button or removing style properties that aren't used anymore like -GtkButton-default-border: 0
24 lines
531 B
CSS
24 lines
531 B
CSS
* {
|
|
border-image: none;
|
|
border-radius: 0;
|
|
border-style: solid;
|
|
border-color: transparent;
|
|
border-width: 0;
|
|
}
|
|
|
|
.button-image {
|
|
border-image-source: -gtk-gradient(linear,
|
|
left top, left bottom,
|
|
from(lime),
|
|
to(lime));
|
|
border-image-slice: 1;
|
|
border-image-repeat: stretch;
|
|
border-width: 1px 2px 2px 1px;
|
|
}
|
|
|
|
.button-not-image {
|
|
border-color: lime;
|
|
border-style: solid;
|
|
border-width: 1px 2px 2px 1px;
|
|
}
|