The height is reduced by 3/4 to account for extra spacing between lines,
relative to an Idle editor, and extra tall header lines.