This is a good width for my Win7 system, but not quite right for Mac 10.8. What do you think about having platform-specific widths?

Actually, should probably specify a non-platform-specific width for Win (which would also be picked up by Linux), and then override for Mac.