More high DPI changes

Please review the server part of the high DPI option. It's not tested as I currently have no environment for running it.