-
Notifications
You must be signed in to change notification settings - Fork 1
/
template.html
90 lines (88 loc) · 3.5 KB
/
template.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
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
"http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<title>$name$</title>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<link rel="stylesheet" href="$root$/static/css/blueprint/screen.css" type="text/css" media="screen, projection">
<link rel="stylesheet" href="$root$/static/css/blueprint/print.css" type="text/css" media="print">
<!--[if lt IE 8]>
<link rel="stylesheet" href="$root$/static/css/blueprint/ie.css" type="text/css" media="screen, projection">
<![endif]-->
<link rel="stylesheet" href="$root$/static/css/pygments/syntax.css" type="text/css">
<link rel="stylesheet" href="$root$/static/css/layout.css" type="text/css">
<link rel="stylesheet" href="$root$/static/css/colors.css" type="text/css">
<script type="text/javascript" src="$root$/static/js/graph.js"></script>
</head>
<body>
<div class="container noshowgrid">
<div class="span-20 prepend-2 append-2">
<h1>$name$</h1>
$html$
<hr />
<svg xmlns="http://www.w3.org/2000/svg" id="canvas"></svg>
<script type="text/javascript">
var colors = function (level) {
if (level == 1) {
return {
color: "#fcaf3e",
stroke: "#ab7423"
};
} else if (level == 2) {
return {
color: "#fce94f",
stroke: "#c4a000"
};
} else if (level == 3) {
return {
color: "#8ae234",
stroke: "#425d26"
};
}
};
var goToPageFn = function(page) {
return function() {
location.href = page + ".html";
};
};
var g = new Graph("canvas", 800, 400);
g.repulsion = g.repulsion / 2;
//g.spring_length = 8;
g.setCenter("$name$");
$vertices:{x|g.createVertex("$x.1$", colors($x.0$), goToPageFn("$x.1$"));}; separator=""$
$edges:{x|g.createEdge("$x.0$", "$x.1$");}; separator=""$
g.go();
</script>
<hr />
<p>
<center>
1. <a href="HomePage.html">HomePage</a>
|
2. <a href="StageParsing.html">StageParsing</a>
|
3. <a href="RuntimeSupport.html">RuntimeSupport</a>
|
4. <a href="CodeGeneration.html">CodeGeneration</a>
|
5. <a href="AssembleHex.html">AssembleHex</a>
|
6. <a href="MovingForward.html">MovingForward</a>
</center>
</p>
<hr />
<div id="disqus_thread"></div>
<script type="text/javascript">
var disqus_shortname = 'compilertutorial';
(function() {
var dsq = document.createElement('script'); dsq.type = 'text/javascript'; dsq.async = true;
dsq.src = 'http://' + disqus_shortname + '.disqus.com/embed.js';
(document.getElementsByTagName('head')[0] || document.getElementsByTagName('body')[0]).appendChild(dsq);
})();
</script>
<noscript>Please enable JavaScript to view the <a href="http://disqus.com/?ref_noscript">comments powered by Disqus.</a></noscript>
<a href="http://disqus.com" class="dsq-brlink">comments powered by <span class="logo-disqus">Disqus</span></a>
<hr />
</div>
</div>
</body>
</html>