// jump menu and cookie message generator
	var cjsmess = "Styleswitching requires cookies\nand javascript to work.\n";
	cjsmess += "You may safely disable cookies\nand use normal text sizing options instead.";
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 &amp; JS info</a> ";
	mySize += "<form name=\"textForm\" id=\"textForm\">"
	mySize += "<select name=\"textMenu\" id=\"textMenu\" onChange=\"textSizer()\">";
	mySize += "<option value=\"\" selected>Change Text Style&nbsp;</option>";
	mySize += "<option value=\"\">----------------------</option>";
	mySize += "<option value=\"normal\">Standard</option>";
	mySize += "<option value=\"large\">Large Text</option>";
	mySize += "<option value=\"serif\">Large Serif 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="Sunday";
if (dayName == 1) dName="Monday";
if (dayName == 2) dName="Tuesday";
if (dayName == 3) dName="Wednesday";
if (dayName == 4) dName="Thursday";
if (dayName == 5) dName="Friday";
if (dayName == 6) dName="Saturday";
if(myYear<2000) myYear=myYear+1900;
var dateValue = dName+'&nbsp;'+myDate+'\/'+myMonth+'&nbsp;&#150;'+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 class=\"tool\" href=\"javascript:self.print()\">";
	myPrinter += "<img src=\"images/icon.print.gif\" alt=\"Skriv ut\">";
	myPrinter += " Skriv ut</a>";
	if(navigator.appName.indexOf("WebTV") == -1) document.write(myPrinter);
	}
}