[#240] automatically adjust the display size for high-DPI devices

please do note that the small JS hack in the HTML file is (in theory) no
longer necessary.