[
{ "title": "User Guide",
  "file":  "{{ site.url }}/use/guide/index.html",
  "children": {% readj ./guide/toc.json %} },
{ "title": "Examples",
  "file":  "{{ site.url }}/use/examples/index.html", 
  "children": {% readj ./examples/toc.json %} },
{ "title": "API Reference (javadoc)",
  "file": "{{ site.url }}/use/api/index.html" },
{ "title": "Discuss",
  "file": "{{ site.url }}/use/contact.html" }
]