This partially reverts certain changes from D5455. It turns out that a
seemingly unrelated preference(view.ui_line_width) will change this dpi value.
This causes the font's to be sized incorrectly again. Go back to using a
hardcoded 72 which still seems to work for the PCs I've tried on.