Fix vertical scaling on IE

IE won't let us set (#svg).style.maxHeight directly, so we use
(#svg).style.setProperty('max-height', h) instead.