# This file was written by KDE
# You can edit it in the KDE control center, under "GTK styles and fonts"
include "/usr/share/themes/Industrial/gtk-2.0/gtkrc"
style "user-font"
{
font_name="DejaVu Sans"
}
widget_class "*" style "user-font"
gtk-font-name="DejaVu Sans 9"