static const char font[] = "-*-terminus-medium-r-normal-*-14-*-*-*-*-*-*-*"; static const char normbgcolor[] = "#cccccc"; static const char normfgcolor[] = "#000000"; static const char hovbgcolor[] = "#ffffff"; static const char hovfgcolor[] = "#000000"; static const char pressbgcolor[] = "#0000cc"; static const char pressfgcolor[] = "#ffffff";