var h3h = {};

h3h.addHeadingLinks = function(container, title)
{
  var base = document.location.pathname;

  function addLinks(elems)
  {
    for (var i = 0, l = elems.length; i < l; i++)
    {
      var hn = elems[i];
      if (hn.id)
      {
        var link = document.createElement('a');
        link.href = base + '#' + hn.id;
        link.className = 'anchor';
        link.title = title.replace(/\$id/, '#' + hn.id);
        link.appendChild(document.createTextNode(" \u00B6"));
        hn.appendChild(link);
      }
    }
  }

  for (var i = 1; i <= 6; i++)
  {
    addLinks(container.getElementsByTagName('h' + i));
  }
}

window.onload = function()
{
  h3h.addHeadingLinks(document.getElementById("content"), "Link to: $id");
}
