// JavaScript Document
var fontSizeContentBodyTxt  = 11;
function SetSize(){	
	if (fontSizeContentBodyTxt  < 8  || fontSizeContentBodyTxt > 18 ) {
	//Så skal der ikke ske noget
	}
	else {	
		DivmainContentBodyTxt = document.getElementById("webDokumentBody");		
		DivmainContentBodyTxt.style.fontSize = fontSizeContentBodyTxt+"px";
	}
}
function largerFont(){
	fontSizeContentBodyTxt = fontSizeContentBodyTxt +2;	
	SetSize();
}
	
function smallerFont()	{
	fontSizeContentBodyTxt = fontSizeContentBodyTxt -2;	
	SetSize();
}
function defaultFontSize(){
	fontSizeContentBodyTxt = 11;	
	SetSize();
}