Desktop themes: fixed issue where everything was displayed at 4x instead of 2x in Mac HiDPI mode (closes #997)