CSS adjustments

In particular type adjustments