[Bug 14291] New: winhelp: font sizes are smaller than with Windows WINHLP32.EXE