minor CSS improvements