zoom control for GraphViz