blob: ad11061f2ba69f658b7210b45e8f07c657826884 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
/* CSS format as required by Debian (GTK 3.14.5)
pkg-config --modversion gtk+-3.0
https://docs.gtk.org/gtk3/css-overview.html
https://docs.gtk.org/gtk3/css-properties.html */
*
{
/* see wx+/grid.cpp: spacing wouldn't hurt, but let's be consistent */
-GtkScrolledWindow-scrollbar-spacing: 0;
}
GtkButton
{
padding: 4px 5px; /*remove excessive inner border*/
/* 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; */
}
GtkPaned
{
border: 10px solid #d0d0d0; /*hack wxAUI panel splitter: not sure why "color" and "background-color" are not working*/
}
GtkEntry
{
padding: 2px 5px; /*fix excessive padding for text input fields*/
}
GtkComboBox GtkEntry
{
padding: 4px 5px;
}
GtkSpinButton /*GtkEntry*/
{
padding: 4px 5px;
}
.tooltip /* why not GtkTooltip!? */
{
color: white;
background-color: #343434; /*fix "Adwaita" theme glitch (Debian): background is *light grey*, while text color is white!*/
}
|
