blob: 24c559a669f07688dab38220d39bc725382ba450 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
/* 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;
*/
}
|
