static const Bool wmborder = True; static const char font[] = "-*-terminus-medium-r-normal-*-14-*-*-*-*-*-*-*"; static const char normbgcolor[] = "#cccccc"; static const char normfgcolor[] = "#000000"; static const char pressbgcolor[] = "#0000cc"; static const char pressfgcolor[] = "#ffffff"; static const char highlightbgcolor[] = "#0000cc"; static const char highlightfgcolor[] = "#ffffff";