function startup() {
  standardLayout();
  Navigator.buildTree();
  Navigator.setTitle(course.name + " Nav");
}

window.onload = startup;
window.onresize = standardLayout;