ef="../../../../../../../lib/template.css" media="screen" type="text/css"
          rel="stylesheet"/>
    <link href="../../../../../../../lib/diagrams.css" media="screen" type="text/css"
          rel="stylesheet" id="diagrams-css"/>
    <script type="text/javascript" src="../../../../../../../lib/jquery.js"></script>
    <script type="text/javascript" src="../../../../../../../lib/jquery.panzoom.min.js"></script>
    <script type="text/javascript" src="../../../../../../../lib/jquery.mousewheel.min.js"><