#
# This theme is the default theme if no other theme is selected.
#

style "global-fonts-style"
{
  font_name = "Helvetica 12"
}

class "GtkWidget" style "global-fonts-style"
