[[ HiDPI ]] Improve appearance of scaled UI elements on OSX