
style "font"
{
font_name = "Sans Serif 8"
}
widget_class "*" style "font"
gtk-font-name = "Sans Serif 8"


