summaryrefslogtreecommitdiff
path: root/src/www/wc.html
diff options
context:
space:
mode:
authorhallgren <hallgren@chalmers.se>2015-03-24 18:03:10 +0000
committerhallgren <hallgren@chalmers.se>2015-03-24 18:03:10 +0000
commit12f5dc9ecedf0ad74cc1303c63743b6647e4081e (patch)
tree0a1e772f8a93b77546faefe6830c94fad60cef0f /src/www/wc.html
parent6d72126ffced8aaee001d1c766dfce41935d9b6d (diff)
Wide Coverage Translation Demo: zoomable panable collapsible syntax trees
This is an experimental solution using JavaScript code from https://github.com/christos-c/tree-viewer, d3js.org and jquery.com.
Diffstat (limited to 'src/www/wc.html')
-rw-r--r--src/www/wc.html16
1 files changed, 13 insertions, 3 deletions
diff --git a/src/www/wc.html b/src/www/wc.html
index 3d2b8e12f..b5edef790 100644
--- a/src/www/wc.html
+++ b/src/www/wc.html
@@ -24,8 +24,14 @@ small { color: #666; }
.colors .bad_quality { background-color: #f89; }
.placeholder { color: #999; }
.error { color: #c00; }
-div.e2 { background: white; }
+div.e2 table { background: white; }
span.inflect { color: blue; }
+
+.node { cursor: pointer; }
+/*.overlay { background-color: #eed; }*/
+.node rect { fill: #fff; stroke: black; stroke-width: 1.5px; }
+.node text { font-size: 10px; font-family: serif; }
+.link { fill: none; stroke: #ccc; stroke-width: 1.5px; }
</style>
</head>
@@ -91,7 +97,7 @@ span.inflect { color: blue; }
</div>
<hr>
<div class=modtime><small>
-<!-- hhmts start -->Last modified: Sun Mar 22 23:30:45 CET 2015 <!-- hhmts end -->
+<!-- hhmts start -->Last modified: Tue Mar 24 16:59:23 CET 2015 <!-- hhmts end -->
</small></div>
<a href="http://www.grammaticalframework.org/demos/translation.html">About</a>
<script src="js/support.js"></script>
@@ -100,6 +106,10 @@ span.inflect { color: blue; }
<script src="js/langcode.js"></script>
<script src="js/pgf_online.js"></script>
<script src="js/wc.js"></script>
-</script>
+
+<script src="http://code.jquery.com/jquery-1.10.2.min.js"></script>
+<script src="http://d3js.org/d3.v3.min.js"></script>
+<script src="js/d3Tree.js"></script>
+
</body>
</html>