// Copied with modifications from http://simon.incutio.com/archive/2004/05/30/plinks
var plink_p_str = ' ¶';
var plink_l_str = ' ¶';
var plink_d_str = ' ¶';
var plink_h_str = ' §';

function plink_addpLinks() {
  tags = Array('p','h1','h2','h3','h4','h5','h6','li','dt');
  for (var j = 0; j<tags.length; j++) {
    var elem_name = tags[j];
    var echar = elem_name.charAt(0);
    var plink_str = eval('plink_'+echar+'_str')
    var elems = document.getElementsByTagName(elem_name);
    for (var i = 0; i < elems.length; i++) {
      var current = elems[i];
      if (current.id.substring(0, 2) == echar+'-') {
	// It's a purple link element
	var plink = document.createElement('a');
	plink.href = document.location.href.split('#')[0] + 
	  '#' + current.id;
	plink.className = 'plink';
	plink.appendChild(document.createTextNode(plink_str));
	current.appendChild(plink);
      }
    }
  }
}

function addLoadEvent(func) {
    var oldonload = window.onload;
    if (typeof window.onload != 'function') {
        window.onload = func;
    } else {
        window.onload = function() {
            oldonload();
            func();
        }
    }
}

addLoadEvent(plink_addpLinks);
//addLoadEvent(plink_Highlight);