various minor CSS improvements