minor CSS adjustments