# gtkrc default theme
style "default"
{
  font_name="DejaVu Sans 12"
}
class "GtkWidget" style "default"
