More minor CSS improvements