Minor CSS stuff