MENU_HOTSEL_COLOR   90 lib/skin/colors.c     { MENU_HOTSEL_COLOR, "menu", "menuhotsel" },
MENU_HOTSEL_COLOR  162 lib/widget/menu.c             tty_setcolor (color == MENU_SELECTED_COLOR ? MENU_HOTSEL_COLOR : MENU_HOT_COLOR);
MENU_HOTSEL_COLOR  214 lib/widget/menu.c         tty_setcolor (hotkey ? MENU_HOTSEL_COLOR : MENU_SELECTED_COLOR);