Use SVG for figures instead of PNG.