/* This script stores a cookie showing the user's pref to open links in a new window or not */
// read cookie if existant and set values
var OpenExt = readCookie("OpenExtInNewWindow") ;
if ((OpenExt!=true) && (OpenExt!=false)) {
  if (OpenExt=="true") OpenExt=true;
  else if (OpenExt=="false") OpenExt=false;
  else OpenExt=true;
 }
if (OpenExt==true) {
  // save onload ptr
  var onload_ext=window.onload;
  window.onload = function(e) {
    // call saved onload if existant
    if (onload_ext) onload_ext();
    externalLinks();
  }
}
// save onunload ptr
var onunload_ext = window.onunload;
window.onunload = function(e) {
  // call saved onunload if existant
  if (onunload_ext) onunload_ext();
  createCookie("OpenExtInNewWindow", OpenExt, 365);
}
// set target on each external link
function externalLinks() {
 if (!document.getElementsByTagName) return;
 var anchors = document.getElementsByTagName("a");
 for (var i=0; i<anchors.length; i++) {
   var anchor = anchors[i];
   if (anchor.getAttribute("href") &&
       anchor.getAttribute("rel") == "extern")
     anchor.target = OpenExt ? "_blank" : "_top";
 }
}
// print selector
function externalSelector(text) {
  document.write('<form><input type="checkbox" name="extsel" id="extsel" value="on" onclick="switchSelector();"');
  if (OpenExt==true)
    document.write('checked="checked"');
  document.write('/>'+text+'</form>');
}
// onclick function for selector
function switchSelector() {
  OpenExt = !OpenExt;
  externalLinks();
}