[okasaki]

But the web site shouldn't enforce it. If users want smaller line lengths they should resize the browser window