sclass HTMLFramer1 {
  S title;
  new L<NavItem> navItems;
  new LS contents;

  srecord NavItem(S link, S html) {}
  
  S render() {
    ret hhtml(hhead_title(title)
      + hbody(h1(htmlEncode2(title))
      + renderNav()
      + lines(contents)));
  }
}