CSS: make navigation width responsive.