blob: a2c43ce7fe4e511590c6f5027b03b44c60fb2dc0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
/* CSS format as required by Debian (GTK 3.14.5)
https://developer.gnome.org/gtk3/stable/chap-css-properties.html
https://developer.gnome.org/gtk3/stable/gtk-migrating-GtkStyleContext-css.html
pkg-config --modversion gtk+-3.0 */
*
{
/* see wx+/grid.cpp: spacing wouldn't hurt, but let's be consistent */
-GtkScrolledWindow-scrollbar-spacing: 0;
}
GtkButton
{
padding: 2px; /*remove excessive inner border from bitmap buttons*/
/* min-width: 0; => Debian: Error code 3: Gtk3Styles.css:13:10'min-width' is not a valid property name [gtk_css_provider_load_from_path]
min-height: 0; */
}
|
