On 8/27/2011 12:29 PM, Benjamin Thaut wrote:
Am 27.08.2011 19:39, schrieb Walter Bright:I find it very hard to read. Can you boost the font size, please? Have pity on us old guys!Increased the font size a bit, I hope it is better that way
Better, but still a strain to read. The browser's default font size is usually the best size to use.