[Bug 223407] New: font sizes yet smaller