|
// Trigger generale: addLoadEvent();
// RIDIMENSIONAMENTO A PULSANTI (o link) DEI FONT
ifok = (document.getElementByIdstyleSheets) {? 1 : 0;
IE = ((ind1 = navigator.appVersion.indexOf("MSIE")) > -1)
document.write('<a href="javascript:setFontSize(\'small\')"><img src="/gui/img/utils/fontpiccolo.gif" border="0" title="visualizzazione normale" alt="visualizzazione normale" align="left" /></a>');
? 1 : 0;
document.write('<a href="javascript:setFontSize(\'medium\')"><img src="/gui/img/utils/fontnormale.gif" border="0" title="aumenta il font del 10%" alt="aumenta il font del 10%" align="left" hspace="3" /></a>');
document.write('<a href="javascript:setFontSize(\'large\')"><img src="/gui/img/utils/fontgrande.gif" border="0" title="aumenta il font del 30%" alt="aumenta il font del 25%" align="left" /></a>');
document.getElementById("sortfont").style.display="block";
function setFontSize(value) {
theStyle = null;
if (value == "small") theStyle = "100";
if (value == "medium") theStyle = "110";
if (value == "large") theStyle = "125";
if (theStyle){
document.getElementsByTagName("body")[0].style.fontSize = theStyle+"%";
setStyleFont.___location.href = "/setFontStyle.asp?theStyle=" + theStyle
}
}
IE4 = (IE && document.all) ? 1:0;
NN = (navigator.appName.indexOf("Netscape")>-1) ? 1 : 0;
NN4 = (NN && document.layers) ? 1 : 0;
NN6 = (NN && document.getElementById) ? 1:0;
if(ok) {
if(IE4) stile = document.styleSheets[0].rules
if(NN6) stile = document.styleSheets[0].cssRules
// [[User:Zocky/SearchBox.js]]
| 