More portable font-sizes (hopefully)