widget-factory: Rename outline radius in css

Rename all outline*radius properties to -gtk-outline*radius.
This commit is contained in:
Matthias Clasen 2015-12-22 16:20:09 -05:00
parent ad87ebb5e7
commit e9aea98969

View File

@ -1,6 +1,6 @@
.circular-button {
border-radius: 20px;
outline-radius: 20px;
-gtk-outline-radius: 20px;
}
.small-button {