<!DOCTYPE html>
<head>
<meta charset="UTF-8" />
<link
href="https://fonts.googleapis.com/css?family=Open+Sans:600"
rel="stylesheet"
/>
<link href="style.css" rel="stylesheet" />
</head>
<body>
<form id="insertTree" onSubmit="return insertCallback()">
<input
id="insertInput"
type="text"
placeholder="Number to insert"
maxlength="4"
size="14"
autofocus
/>
<input type="submit" value="Insert" />
</form>
<form id="deleteTree" onSubmit="return deleteCallback()">
<input
id="deleteInput"
type="text"
placeholder="Number to delete"
maxlength="4"
size="14"
/>
<input type="submit" value="Delete" />
</form>
<div id="graph" style="text-align: center"></div>
<script src="https://ajax.googleapis.com/ajax/libs/jquery/3.0.0/jquery.min.js"></script>
<script src="https://d3js.org/d3.v5.min.js"></script>
<script src="https://unpkg.com/@hpcc-js/wasm@0.3.11/dist/index.min.js"></script>
<script src="https://unpkg.com/d3-graphviz@3.0.5/build/d3-graphviz.js"></script>
<script src="utils.js"></script>
<script src="node.js"></script>
<script src="ranked_tree.js"></script>
<script src="avl.js"></script>
<script src="wavl.js"></script>
<script src="ravl.js"></script>
<script src="recorder.js"></script>
<script src="visualization.js"></script>
</body>