<!-- BEGIN
var max = 20 
var min = 10 
//----------------------------------------------------------------------------//
function upSize() { 
        i = document.getElementById("article_body");
        if (i) { 
                size = parseInt(i.style.fontSize);
		size++;
                if (size > max) { size = max; }
                i.style.fontSize = size + "px" 
        }
        s = document.getElementById("save_settings");
        if (s.font_size) s.font_size.value = size;
} 
//----------------------------------------------------------------------------//
function downSize() { 
        i = document.getElementById("article_body");
        if (i) {
                size = parseInt(i.style.fontSize);
		size--;
                if (size < min) { size = min }
                i.style.fontSize = size + "px"
        }
        s = document.getElementById("save_settings");
        if (s.font_size) s.font_size.value = size;
} 
//----------------------------------------------------------------------------//
function altFont() {
        i = document.getElementById("article_body");
	type = i.style.fontFamily;
	if (type == "Arial") {
		type = "Verdana";
	} else if (type == "Verdana") {
		type = "Helvetica";
	} else if (type == "Helvetica") {
		type = "Comic Sans MS";
	} else if (type == "Comic Sans MS") {
		type = "Letter Gothic";
	} else if (type == "Letter Gothic") {
		type = "Century";
	} else if (type == "Century") {
		type = "Times";
	} else if (type == "Times") {
		type = "Courier";
	} else if (type == "Courier") {
		type = "Arial";
	}
	if (i) i.style.fontFamily = type;
        s = document.getElementById("save_settings");
        if (s.font) s.font.value = type;
}
//----------------------------------------------------------------------------//
function update_font_settings(myform) {
        i = document.getElementById("article_body");
	type = i.style.fontFamily;
	size = parseInt(i.style.fontSize);

	myform.font.value = type;
	myform.font_size.value = size;
	
	return true;
}
//----------------------------------------------------------------------------//
function load_font_settings(myform) {
        i = document.getElementById("article_body");

	font		= readCookie("newsok_font");
	font_size	= readCookie("newsok_font_size");
	
	if (font != "") 	i.style.fontFamily = font;
	if (font_size != "")	i.style.fontSize = font_size + "px";
}
//----------------------------------------------------------------------------//
// END -->