gtk-theme-name = "Default"
style "user-font"
{
	font_name="Sans 20"
}
widget_class "*" style "user-font"
gtk-icon-sizes = "gtk-menu=32,32"