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