rebranding grub theme, and switching to "official" blue; removed old joke