Thank you! I'll look into that.

I see similar formatting issues with Chrome a lot, on Windows as well as on Linux.