3/11/13: more padding on top menu, revised styles