shrink height of map on mobile phones; easier to scroll

otherwise, it gets hard to avoid dragging the map.