Nav Bar responsive

font size and paddings change with screen size to make sure it always fits. mobile version is more reasonable now. fixes #649