style modifications, mostly to font-sizes