// jump menu and cookie message generator
	
	cjsmess = "DIS SYD:s webb använder cookies för att komma ihåg vald textstorlek.\nDu kan stänga av cookies och använda storleksändringen i webbläsaren i stället.";
function sizer(){
if((navigator.appName.indexOf("WebTV") == -1 && !document.layers && navigator.userAgent.indexOf('Opera') == -1) || (navigator.userAgent.indexOf('Opera 7') != -1)) {
	var mySize = "<a href=\"javascript:alert(cjsmess);\">Cookies info</a> ";
	mySize += "<form name=\"textForm\" id=\"textForm\">"
	mySize += "<select name=\"textMenu\" id=\"textMenu\" onChange=\"textSizer()\">";
	mySize += "<option value=\"\" selected>Ändra textstorlek</option>";
	mySize += "<option value=\"\">----------------------</option>";
	mySize += "<option value=\"Mindre\">Mindre text</option>";
	mySize += "<option value=\"Liten\">Liten text</option>";
	mySize += "<option value=\"Normal\">Normal</option>";
	mySize += "<option value=\"Stor\">Stor text</option>";
	mySize += "<option value=\"Storre\">Större text</option>";
        
	mySize += "</select>";
   	mySize += "</form>";
	document.write(mySize);
	}
}

// jump menu activator
function textSizer(){ //v3.0
if (document.getElementById('textMenu').value != "") {
 setActiveStyleSheet(document.getElementById('textMenu').value);
 document.getElementById('textMenu').blur();
 }
}

//December 17, 1996 - the date CSS1 became an official W3C-recommendation.
var draft = new Date();
draft.setFullYear(1996);
draft.setMonth(11);
draft.setDate(17);
var today = new Date();
var myMonth = today.getMonth()+1;
var myDate = today.getDate();
var myYear = today.getYear();
var dayName = today.getDay();
var dName;
if (dayName == 0) dName="söndag";
if (dayName == 1) dName="måndag";
if (dayName == 2) dName="tisdag";
if (dayName == 3) dName="onsdag";
if (dayName == 4) dName="torsdg";
if (dayName == 5) dName="fredag";
if (dayName == 6) dName="lördag";
if(myYear<2000) myYear=myYear+1900;
var dateValue = dName+'&nbsp;'+myDate+'\/'+myMonth+'&nbsp;&nbsp;'+myYear;
var diffmilli = today - draft;
var diff = Math.floor(diffmilli/86400000)+" days since CSS1<br>went official.";

//print function

function myPrint(ref){
	if (window.print){
	var myPrinter = "<a href=\"javascript:self.print()\">";
	myPrinter += "<img src=\"img/printer.gif\" alt=\"print page\"";
	myPrinter += " width=\"20\" height=\"10\" border=\"0\">";
	myPrinter += " Skriv ut denna sida</a>";
	if(navigator.appName.indexOf("WebTV") == -1) document.write(myPrinter);
	}
}
function skriv(text){
document.write(text)
}