#4 text scaling

[Anonymous]

When the window is scaled, the text remains fixed at
11 point. Scaling the font with the window would
prevent the text from becoming unreadable when the
window is scaled down.