-
Notifications
You must be signed in to change notification settings - Fork 1
/
index.html
68 lines (62 loc) · 1.03 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
<html>
<head>
<script src="bundle.js"></script>
<style>
.node rect {
stroke-width: 1px;
}
.node text {
font: 12px sans-serif;
}
.tnode rect {
fill: lightsteelblue;
stroke: steelblue;
}
.anode rect {
fill: darkgray;
stroke: gray;
}
.node rect.selected {
stroke: black;
stroke-width: 2px;
}
.tnode rect.pruned {
fill: violet;
stroke: darkviolet;
}
.tnode rect.refineAborted {
fill: red;
stroke: darkred;
}
.tnode rect.canon {
fill: green;
stroke: darkgreen;
}
.tnode rect.wasCanon {
fill: lightgreen;
stroke: green;
}
.tnode rect.canonWorse {
fill: peru;
stroke: saddlebrown;
}
.edge {
fill: none;
stroke: #555;
stroke-width: 2px;
}
.toggle {
cursor: pointer;
}
input:invalid {
border: 1px dashed red;
}
input:valid {
border: 1px solid black;
}
</style>
</head>
<body>
</div>
</body>
</html>