/**
 * Various CSS styles relating to the menu.
 */