| 4 |
- |
1 |
style "gtk-default-az" {
|
|
|
2 |
fontset = "-*-helvetica-medium-r-normal--12-*-*-*-*-*-iso8859-1,\
|
|
|
3 |
-*-arial-medium-r-normal--12-*-*-*-*-*-iso8859-1,\
|
|
|
4 |
-*-helvetica-medium-r-normal--12-*-*-*-*-*-iso8859-9e,\
|
|
|
5 |
-*-arial-medium-r-normal--12-*-*-*-*-*-iso8859-9e,*-r-*"
|
|
|
6 |
-*-helvetica-medium-r-normal--12-*-*-*-*-*-iso10646-1,\
|
|
|
7 |
-*-arial-medium-r-normal--12-*-*-*-*-*-iso10646-1,*-r-*"
|
|
|
8 |
}
|
|
|
9 |
class "GtkWidget" style "gtk-default-az"
|
|
|
10 |
|