Andrew Eikum : explorer: Scale element sizes by DPI.