Some minor CSS changes regarding responsiveness