88 lines
2.5 KiB
HTML
88 lines
2.5 KiB
HTML
<html>
|
|
<header>
|
|
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
|
|
<meta http-equiv="Cache-Control" content="no-cache"/>
|
|
<title>合约分析工具</title>
|
|
<script src="./jqueryui1.12/jquery-2.1.4.js"></script>
|
|
|
|
|
|
<link href="./jqueryui1.12/jquery-ui.css" rel="stylesheet">
|
|
<link href="./jqueryui1.12/jquery.contextMenu.min.css" rel="stylesheet">
|
|
<link href="./jqueryui1.12/jquery-editable-select.css" rel="stylesheet">
|
|
<link href="./js/tipsy/jquery.tipsy.css" rel="stylesheet">
|
|
|
|
<script src="./jqueryui1.12/jquery-ui.js"></script>
|
|
<script src="./jqueryui1.12/jquery.contextMenu.js"></script>
|
|
<script src="./jqueryui1.12/jquery.ui.position.js"></script>
|
|
<script src="./js/tipsy/jquery.tipsy.min.js"></script>
|
|
|
|
<script src="./jqueryui1.12/jquery-editable-select.js"></script>
|
|
<script src="./js/createWS.js"></script>
|
|
<script src="./js/cryptico.js"></script>
|
|
<script src="./js/dagre-d3.min.js"></script>
|
|
<script src="./js/d3.v5.min.js"></script>
|
|
<script src="./js/controlflow.js"></script>
|
|
|
|
</header>
|
|
<body style="background: #882929; color: white;">
|
|
<div style="margin: 0 auto; width: 80%">
|
|
<div style="margin: 2% auto">
|
|
<img src="./images/logo.png" style="width: 15%; float: left;" class="logoimg">
|
|
<div
|
|
style="width: 85%; margin: 0 auto; font-size: 200%; float: left;"> 合约分析
|
|
</div>
|
|
</div>
|
|
<br/> <br/> <br/> <br/>
|
|
<div id="titiles">
|
|
<select id="tabdiv" style="width: 15%"></select>
|
|
</div>
|
|
<div
|
|
style="background-color: #f0e4e4; border-radius: 5px; width: 100%;">
|
|
<svg id="svgCanvas" width="800px" height="100px"></svg>
|
|
</div>
|
|
</div>
|
|
<style>
|
|
text {
|
|
font-weight: 300;
|
|
font-family: "Helvetica Neue", Helvetica, Arial, sans-serf;
|
|
font-size: 14px;
|
|
}
|
|
|
|
.node rect {
|
|
stroke: #333;
|
|
fill: #fff;
|
|
}
|
|
|
|
.edgePath path {
|
|
stroke: #333;
|
|
fill: #333;
|
|
stroke-width: 1.5px;
|
|
}
|
|
|
|
.node text {
|
|
pointer-events: none;
|
|
}
|
|
|
|
/* This styles the title of the tooltip */
|
|
.tipsy .name {
|
|
font-size: 1.5em;
|
|
font-weight: bold;
|
|
color: #60b1fc;
|
|
margin: 0;
|
|
}
|
|
|
|
/* This styles the body of the tooltip */
|
|
.tipsy .description {
|
|
font-size: 1.2em;
|
|
}
|
|
</style>
|
|
|
|
<script id="js">
|
|
|
|
</script>
|
|
<script>
|
|
const isBaaS = false
|
|
init();
|
|
</script>
|
|
</body>
|
|
</html> |