function SF(func) { try { if(eval('window.' + func) != null) return true; else return false; } catch(e) { alert('Failed to execute code: ' + code + '\r\n\r\n' + e.description); } return false; }function GE(v) { if(document.all) return document.all[v]; return document.getElementById(v); } var imgssearch = new Array(3);imgssearch[0] = new Image();imgssearch[0].src='images/bt_go.gif';imgssearch[1] = new Image();imgssearch[1].src='images/bt_go_o.gif';imgssearch[2] = new Image();imgssearch[2].src='images/bt_go_d.gif'; /* increasing and decreasing text size. how this works: 1- loop through all of the stylesheets 2 - check if they have a title 3 - check if that title contains "article" (indicates our article stylesheet) 4 - disable all article stylesheets 5 - enable the next size up or down. 6 - exit, enjoy the day. */ var sz=13 //default stylesheet function selectStyleSheet(dir) { var li; // link items - that is, stylesheets //make sure we're under limit if (10-1)li.disabled = false; // if it's the next in line, enable it } } //don't forget to increment the size, so we know what's next.... sz=sz+dir; } } function wikidef(url) { document.location="zone.php?titre="+url; } function nbs(s, o) { if(event != null && event.button > 1) return; if(o == null && s !== null) { if(s.complete == true) event.srcElement.src = s.src; } else if(s !== null) { if(s.complete == true) o.src = s.src; } } function valid() { var url=document.search.why.value; var text=document.search.string.value; { document.location=url+text; } } function HomePage(obj) { obj.style.behavior='url(#default#homepage)'; obj.setHomePage('http://www.scarla.net/'); } function PopupImage(img) { titre="Scarla"; w=open("",'image','width=400,height=400,toolbar=no,scrollbars=no,resizable=yes'); w.document.write(""+titre+""); w.document.write("