/*
Rewrite #anchor links for pages with BASE HREF
*/
var anchors = document.getElementsByTagName("a");
var basehref = document.getElementsByTagName("base")[0].href;
var url = window.location.href;
if(url.indexOf("#") > 0) url = url.substr(0, url.indexOf("#")); //strip hash
if(basehref) {
 for(var i = 0; i < anchors.length; i++) {
  var anchor = anchors[i];
  poundPos = anchor.href.indexOf("/#");
  if (poundPos > 0) {
   anchor.href = url + anchor.href.substr(poundPos + 1);
  }
 }
}