include "/usr/share/themes/Crux/gtk-2.0/gtkrc"

style "user-font"
{
  font_name="sans 9"
}
widget_class "*" style "user-font"
