gtk-theme-name = "diehard4"
gtk-icon-theme-name = "tango"

style "schrift" {
	font_name = "Termsyn 8"
}
widget_class "*" style "schrift"
gtk-font-name = "Termsyn 8"