[usr1106]

You are correct. It's the rendering applied by my Firefox, because I had visited the page before. (Outside of hn, someone sent me the link earlier)