Comment by 1718627440

I like it, in fact my standard terminal font size is even smaller. I hate all the modern websites wasting tons of whitespace, so that you need to hit C-- ~3 times to make it usable.