Adds high DPI support, needs corresponding changes to aja.js to actually work