#gtk-theme-name = "Bluecurve"
#gtk-font-name="FreeSans 12"
gtk-font-name="DejaVu 11"
