/* moved to /stylesheets/menu.css */