Gervase Markham wrote: > Is it too late to fiddle the sizes a bit, and have a big button and a > small button? I had proposed that too, but I think it wasn't doable. -- Ivan Krstić <krstic at solarsail.hcs.harvard.edu> | GPG: 0x147C722D