-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.html
121 lines (90 loc) · 3.42 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
115
116
117
118
119
120
121
<html>
<head>
<meta charset="utf-8">
<title>Treehehe</title>
<!------------------------------ Styles ------------------------------>
<link href="Resources/styles/style.css" rel="stylesheet" type="text/css">
<link href="Resources/styles/treestyle.css" rel="stylesheet" type="text/css">
<link href="Resources/styles/rulestyle.css" rel="stylesheet" type="text/css">
<link href="Resources/styles/rulestyle_flex.css" rel="stylesheet" type="text/css">
<!------------------------------ Scripts ------------------------------>
<script type="text/javascript" src="Resources/scripts/jquery.js"></script>
<script type="text/javascript" src="https://d3js.org/d3.v5.min.js"></script>
<!------------------------------ MathJax ------------------------------>
<script type="text/x-mathjax-config">
MathJax.Hub.Config({
tex2jax: {
inlineMath: [ ['$','$'], ["\\(","\\)"] ],
processEscapes: true
},
});
MathJax.Hub.Register.StartupHook("End", function()
{
MathJaxSVGManipulation();
});
</script>
<!-- Remote MathJax -->
<script src='https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.5/latest.js?config=TeX-AMS_SVG' async></script>
<!-- Local MathJax -->
<!-- <script type="text/javascript" src='Resources/scripts/MathJax/MathJax.js' async></script> -->
<!------------------------------ Fonts ------------------------------>
<link href="https://fonts.googleapis.com/css?family=Roboto|Lobster+Two|Slabo+27px" rel="stylesheet">
<!------------------------------ Analytics ------------------------------>
<script>
(function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
(i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
})(window,document,'script','https://www.google-analytics.com/analytics.js','ga');
ga('create', 'UA-91001708-1', 'auto');
ga('send', 'pageview');
</script>
</head>
<body>
<div class="page-container">
<div class="header-panel region">
<div class="Title">
Treehehe
</div>
<div class="menu-container">
<div class="report">
<a href="http://chelsea.lol/Resources/COMP5209_BattellC_report.pdf">Report</a>
</div>
<div class="code">
<a href="https://github.com/seachel/treehehe">Code</a>
</div>
</div>
</div>
<div class="control-panel region">
<select class="example-selection" onchange="exampleSelect_onchange(this)">
</select>
<div class="navigation">
<div class="btn-backward">
</div>
<div class="btn-forward">
</div>
</div>
</div>
<div class="rule-panel region">
<div class="subheader">
Rules
</div>
<div class="rules-container">
</div>
</div>
<div class="tree-display-panel scroll-container">
<div class="tree-container">
</div>
</div>
<div class="selection-info-panel region">
<div class="subheader">Selection</div>
<div class="tree-notes">
</div>
<div class="selected-proposition note"></div>
<span class="selected-rule note"></span>
<span class="selected-children note"></span>
</div>
</div>
<script src="Resources/scripts/d3Tree.js"></script>
<script type="text/javascript" src="Resources/scripts/ruleSets.js"></script>
</body>
</html>