<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_o14n8ph31tp1aokr7fiq9db96h, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
sclass HTMLFramer1 {
  S title; // will be HTML-encoded
  new L<NavItem> navItems;
  new LS contents;
  new LS headElements;
  bool navBeforeTitle;
  new L<Runnable> willRender;

  srecord NavItem(S link, S html) {
    bool targetBlank;
  }
  
  swappable S render() {
    callFAll(willRender);
    ret hhtml(hhead(htitle(title)
      + lines(headElements))
      + hbody(
        (navBeforeTitle ? renderNav() + renderTitle()
          : renderTitle() + renderNav())
        + lines(contents)));
  }
  
  swappable S renderTitle() {
    ret h1(htmlEncode2(title));
  }
  
  swappable S renderNav() {
    if (empty(navItems)) ret "";
    ret p(joinWithVBar(map(navItems, ni -> ahref_possiblyTargetBlank(ni.link, ni.html, ni.targetBlank))));
  }
  
  void addNavItem(S html) {
    navItems.add(new NavItem(null, html));
  }
  
  void addNavItem(S link, S html, O... _) {
    navItems.add(setAll(new NavItem(link, html), filterParams(_, 'targetBlank)));
  }
  
  void addInHead(O html) {
    headElements.add(str(html));
  }
  
  // add contents: TODO move things to head automatically
  void add(O html) {
    addIfNempty(contents, strOrEmpty(html));
  }
}