)">Reset zoom</button><button type="button" class="label-only-button" onclick="hideGraph()">Hide graph</button><button type="button" class="label-only-button" onclick="showGraph()">Show graph</button>
     <svg id="graph"></svg>
     <script type="text/dot" id="dot"> digraph g {
 node0 [id=node0, label="<span style=\"color: #FFFFFF;\">trait <a href=\"SymbolGeneration$$ErasableSymbolGenerator.html\" t=\"n\">ErasableSymbolGenerator</a></span>", class="trait vertex"];
node1 [id=node1, label="<span style=\"colo