alifungama

anyone out there knows anything about the witty themes menu font setting? I am really in need to know how to increase the font size of the menu in this theme