Ops, default font size for web shouldn't have changed