docs: function _traverseDOM(node) {
    if (node.nodeType === 1 && node.nodeName === "A" && !node.getAttribute("href")) {
      var text = node.innerHTML.split(".");
      if (text.length === 1) {
        node.setAttribute("href", "../api/symbols/" + text[0] + ".html");
        node.setAttribute("target", "api");
      } else if (text.length === 2) {
        node.setAttribute("href", "../api/symbols/" + text[0] + ".html" + "#" + text[1]);
        node.setAttribute("target", "api");
      } else {
        alert("Unknown API reference: " + node.innerHTML);
      }
    }
    for (var i = 0; i < node.childNodes.length; i++) {
      _traverseDOM(node.childNodes[i]);
    }
  }