function externalLinks() { if (!document.getElementsByTagName) return; var anchors = document.getElementsByTagName("a"); for (var i=0; i'); // ---- Comment out to work with IE PC ---- var agt=navigator.userAgent.toLowerCase(); if ( (document.all) && (agt.indexOf("win")!=-1) ){ w += 10; h += 36; large.document.writeln(''); } else { large.document.write(''); } large.document.write(''); if (oversize) large.document.write(''); else large.document.write(''); large.document.write('

'); large.document.write(''); large.document.close(); large.focus(); } function goHTML(page) { var pagename = ""; switch(page) { case 0: pagename = 'intro.html'; break; case 1: pagename = 'patchwork.html'; break; case 2: pagename = 'paperballots.html'; break; case 3: pagename = 'reform.html'; break; case 4: pagename = 'votingmachine.html'; break; case 5: pagename = 'punchcard.html'; break; case 6: pagename = 'florida.html'; break; case 7: pagename = 'design.html'; break; case 8: pagename = 'future.html'; break; default: pagename = 'index.html'; break; } if (window.opener) { window.opener.window.focus(); window.opener.window.location.href = pagename; } else { var altpop = window.open(pagename, "altpop"); altpop.focus(); } } function goCredits() { if (window.opener) { window.opener.window.focus(); window.opener.window.location.href = 'credits.html'; } else { var altpop = window.open("credits.html", "altpop"); altpop.focus(); } } function goBibliography() { if (window.opener) { window.opener.window.focus(); window.opener.window.location.href = 'resources.html'; } else { var altpop = window.open("resources.html", "altpop"); altpop.focus(); } } function goPress() { if (window.opener) { window.opener.window.focus(); window.opener.window.location.href = 'press.html'; } else { var altpop = window.open("press.html", "altpop"); altpop.focus(); } } function showTip(div) { num = document.getElementById(div); tip = document.getElementById('tooltip'); pag = document.getElementById('page'); if (pag.offsetTop == 0) tip.style.top = (130) + "px"; else tip.style.top = (135) + "px"; tip.style.left = (110 + pag.offsetLeft) + "px"; }