Monospaced fonts are going to look awful no matter what. That is why the Web has assumed proportional fonts for the past 22 years. There is a lot of confusion in the specs though and it is far from clear where the HTML specification is definitive and where it is merely aspirational. We had long arguments over the <img> tag use of pixels because even at that time display resolution varied between 75 and 100 dpi. And there are probably as many strategies for dealing with 'retinal' displays now as there are browsers. I am also rather worried about this question about the need to reprocess so many files. The variable bit should be in a stylesheet so this can all be modified in one place. And then we can do things like allow people to choose their own display preferences.