tree 5c44c6699588a11310c03bb2ec973700d096cca1
parent de2952768478e6390bcec424bb102911e7f4cbff
author Scott Main <smain@google.com> 1364423046 -0700
committer Scott Main <smain@google.com> 1364424554 -0700

load the navtree javascript on demand; don't try setting up the tree until it's loaded

Change-Id: I1f209869a17099dd853a2f4cae766481a6cd03eb