DPI change should trigger redraw

[BaerMitUmlaut]

When you move the browser window from a low DPI to a high DPI screen, the rendered page gets blurry:

To fix this, window.devicePixelRatio changes should cause a rerender of the page.

[JoackimPennerup]

I guess you could add something like https://developer.mozilla.org/en-US/docs/Web/API/Window/devicePixelRatio#monitoring_screen_resolution_or_zoom_level_changes to trigger a rerender.