Dom_html: add support for window.matchMedia() #608
Description
Cf: https://developer.mozilla.org/en-US/docs/Web/API/Window/matchMedia .
It seems to be old enough to be supported in all modern browsers: https://caniuse.com/#feat=matchmedia
{{ message }}