> To be pedantic, the font you're seeing isn't Times New Roman, but rather Times. They're similar, but there are subtle differences. And there's an interesting

> To be pedantic, the font you're seeing isn't Times New Roman, but rather Times. They're similar, but there are subtle differences. And there's an interesting history to that split: https://en.wikipedia.org/wiki/Times_New_Roman#Linotype_releases https://en.wikipedia.org/wiki/Times_New_Roman#Linotype_relea...