Change interactive color coding.
authorJoris van Zundert <joris.van.zundert@gmail.com>
Wed, 5 Oct 2011 20:51:31 +0000 (22:51 +0200)
committerJoris van Zundert <joris.van.zundert@gmail.com>
Wed, 5 Oct 2011 20:51:31 +0000 (22:51 +0200)
commitd5c17cec9d1757bebcc71ca5834029b140435363
treefb9d81cbf8059922516203cd0536fff25c23191f
parent732152b1ae3962d3d27d501e8a687a32fb80e04f
Change interactive color coding.
TreeOfTexts/root/js/interaction.js
TreeOfTexts/root/src/index.tt
TreeOfTexts/root/src/style.tt2