style "user-font"
{
font_name = "DejaVu Sans 8"
}
widget_class "*" style "user-font"