Post #1403257

(I'm afraid the text boxes don't dynamically resize as intended on Firefox and older Safaris, as these don't support the handy but new-ish `field-sizing: content` CSS bit.)