##########################################################################
# Font settings
##########################################################################

large_font = "-misc-fixed-medium-r-normal-*-*-100-*-*-c-*-iso8859-1"
normal_font = "-misc-fixed-medium-r-normal-*-*-90-*-*-c-*-iso8859-1"
small_font   = "-misc-fixed-medium-r-normal-*-*-80-*-*-c-*-iso8859-1"
