-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
58 lines (55 loc) · 1.73 KB
/
index.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="utf-8" />
<meta http-equiv="x-ua-compatible" content="ie=edge" />
<meta name="viewport" content="width=device-width" />
<title>Visualizations of theorem relationships using graphs</title>
<link href="src/styles.css" rel="stylesheet" type="text/css" />
<script type="module" src="src/script.js"></script>
<script src="https://cdnjs.cloudflare.com/ajax/libs/fuse.js/3.2.0/fuse.js"></script>
<!-- Global site tag (gtag.js) - Google Analytics -->
<script
async
src="https://www.googletagmanager.com/gtag/js?id=G-W8GSQN5XSZ"
></script>
<script>
window.dataLayer = window.dataLayer || [];
function gtag() {
dataLayer.push(arguments);
}
gtag("js", new Date());
gtag("config", "G-W8GSQN5XSZ");
</script>
</head>
<body>
<div class="top">
<div>
<div class="search-container">
<div id="search">
<form>
<input
type="text"
id="query"
name="query"
class="search"
placeholder="Search for a theorem..."
/>
<!-- <input type="submit" value="Go!" /> -->
</form>
</div>
<div class="result" id="search-result"></div>
</div>
</div>
<div id="loading"></div>
<div class="check">
<label for="subgraph"> Enable subgraphs</label>
<input type="checkbox" id="subgraph" name="subgraph" value="enable" checked>
</div>
</div>
<div id="graphDiv"></div>
<div class="gh">
<a href="https://github.com/enjeck/theorem-graphs" target="_blank">Source code</a>
</div>
</body>
</html>