Updated Dot.js to fix a problem with magnification