Minor CSS changes: