=== Size of text box ===
The area taken by the shaded box probably ought to extend across the
screen, rather than be in a fixed size box, see
http://test.wikipedia.org/wiki/Be for a really ugly outcome of the
current implementation (especially when the screen is narrow), which I
am sure can be fixed.
Sure, you can buy a larger screen :)
Jul
"They that can give up essential liberty to obtain a little temporary
safety deserve neither liberty nor safety."
-- Benjamin Franklin, 1759