I explained why that’s not correct in a reply that was present at the time you made that comment. The fact that it’s monospace is due to CSS; whatever font fami

I explained why that’s not correct in a reply that was present at the time you made that comment. The fact that it’s monospace is due to CSS; whatever font family my browser picks, it will have to meet that criterion. https://news.ycombinator.com/item?id=23832927 https://news.ycombinator.com/item?id=23832927