Put graphviz objects into a zoom & pan box.

Feature Description

Diagrams generated with embedded Graphviz code or read dot files may be quite large. Zooming and panning will help to navigate in big diagrams. The sphinx.ext.graphviz extension generates diagrams as SVG graphics. SVG graphics are displayed with an object tag in HTML.

Describe the solution you'd like

Added a zoom and pan functionality is quite simple. E.g. the svg-pan-zoom framework could solve it with a few lines of Javascript code:

<object id="demo-tiger" type="image/svg+xml" data="tiger.svg" style="width: 500px; height: 500px; border:1px solid black; ">Your browser does not support SVG</object>

<script>
document.getElementById('my-embed').addEventListener('load', function(){
  // Will get called after embed element was loaded
  svgPanZoom(document.getElementById('my-embed'));
})
</script>

Describe alternatives you've considered
There are other Javascript based frameworks offering such a option.

Additional context

This could also be useful with:

• sphinx.ext.inheritance_diagram

/cc: @eine

Start by examining how sphinx.ext.graphviz generates SVG diagrams in HTML, including the object tag, and compare that output with sphinx.ext.inheritance_diagram. Evaluate svg-pan-zoom or another JavaScript framework for the embedded diagrams. Done means generated diagrams support zooming and panning in HTML while preserving the existing SVG display behavior.