bunch of CSS amendments, mostly text sizing