-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathindex.html
114 lines (114 loc) · 4.13 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
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
<!doctype html5>
<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<title>STACKER</title>
<link rel="stylesheet" href="vis.css">
<link rel="stylesheet" href="style.css">
<!-- <link rel="stylesheet" href="test.css"> -->
<script src="vis.js"></script>
<script type="text/x-mathjax-config">
MathJax.Hub.Config({
tex2jax: {inlineMath: [['$','$'], ['\\(','\\)']],
processEscapes: true},
TeX: {extensions: ["AMScd.js"]}});
</script>
<script type="text/javascript" async src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS_CHTML">
</script>
</script>
</head>
<body>
<div id="container">
<header>
<ul>
<li class="dropdown">
<a class="dropbtn"><span>Actions</span></a>
<div class="dropdown-content">
<a class="item-1" href="#edit-anchor" onclick="add_lemma()"><span>Add a node</span></a>
<a class="item-2" href="#picture-anchor" onclick="show_dep()"><span>Show dependencies</span></a>
<a class="item-3" onclick="show_all()"><span>Show all</span></a>
</div>
</li>
<div class="right-li">
<li class="dropdown">
<a class="dropbtn" href=""><span>Gotos</span></a>
<div class="dropdown-content right-drop">
<a class="item-1" href="#content-anchor"><span>Content</span></a>
<a class="item-2" href="#picture-anchor"><span>Picture</span></a>
<a id="home-link" class="item-3" href=""><span>HOME</span></a>
</div>
</li>
</div>
</ul>
</header>
<div id="banner">
<div id="banner_text">
<h2>Math with Structure</h2>
</div>
<div id="banner_pic"></div>
</div>
<div id="content">
<div id="content-anchor"></div>
<div id="first_math">
Linked node $\Longrightarrow$
<br><br><br>
<div id="node-content">
Nothing.
</div>
<div style="text-align: center;">
<button href="#edit-anchor" id="refine-btn" onclick="refine();"><span>Edit this node</span></button>
</div>
</div>
<br><br><br>
<div id="picture">
<div id="picture-anchor"></div>
<h2>Dependency graph using vis.js</h2>
<div style="text-align: left;">
<button><span>
<a id="download" href="" download="">download</a>
</span></button>
<button id="import" onclick="do_import();"><span>import</span></button>
<input id="file_input" type="file">
<br>
<br>
<br>
</div>
<div id="mynetwork">
</div>
<div id="information"></div>
<button id="show-btn" onclick="show_independent();"><span>Show this</span></button>
<button id="remove-btn" onclick="remove_independent();"><span>Remove this</span></button>
</div>
<br><br><br>
<div id="edit-area">
<div id="edit-anchor"></div>
<br>
<p style="text-align: left;">
Enter the lemma below:<br>
Use <strong>begin:</strong>
to mark the statement<br>
use <strong>proof:</strong> to mark the proof<br>
use <strong>\href{previous}</strong> to link to other nodes.
</p>
<textarea id="editing" name="EDIT" cols="30" rows="10" autofocus>
Lemma A
begin:This is a statement.
proof:This is a proof.
</textarea>
<div style="text-align: left">
<button id="refresh-btn" onclick="refresh();"><span>Preview</span></button>
</div>
<br>
<button id="edit-btn" onclick="parse();"><span>Submit node</span></button>
<button id="clear-btn" onclick="clear_lemma();"><span>Clear Data</span></button>
<br>
<br>
<div id="preview"></div>
</div>
<script src="parse.js"></script>
<script src="main.js"></script>
<br class="clear">
</div>
</div>
</body>
</html>