mirror of
https://gitlab.gnome.org/GNOME/gtk.git
synced 2024-12-27 06:00:22 +00:00
f2352a5f35
"border-style: none;" sets border widths to 0. So no border was drawn. Use "border-style: groove" instead. (If the border was drawn that way, it'd look noticably different.) Also include reset-to-defaults.css so we really get default CSS.
16 lines
263 B
CSS
16 lines
263 B
CSS
@import "reset-to-defaults.css";
|
|
|
|
.button-image {
|
|
border-image: url("green-20x20.png") 1 stretch;
|
|
|
|
border-style: groove;
|
|
border-width: 1px 2px 2px 1px;
|
|
}
|
|
|
|
.button-not-image {
|
|
border-color: green;
|
|
|
|
border-style: solid;
|
|
border-width: 1px 2px 2px 1px;
|
|
}
|