JD> I made some changes.  If 40 doesn't fit we try 24.  If that doesn't
JD> fit we just use 10.
Well, you had better also glue it to the top left of the screen, or else
your latest attempt ends up like...