//-- font size management --//
var currentSize = 12;
var MINSIZE = 6;
var MAXSIZE = 30;
function changeSize(step) {
	currentSize += parseInt(step);
	currentSize = (currentSize < MINSIZE) ? MINSIZE : ((currentSize > MAXSIZE) ? MAXSIZE : currentSize);
	var div = document.getElementById("articleFull")
	
	var tab_html = new Array(
		"a",
		"b",
		"big",
		"font",
		"h1",
		"h2",
		"h3",
		"h4",
		"h5",
		"h6",
		"li",
		"p",
		"small",
		"strong",
		"td",
		"th",
		"u"
	);

	for(var i = 0; i < tab_html.length; ++i)
	{
		var tab_elements = div.getElementsByTagName(tab_html[i]);
		for (var j = 0; j < tab_elements.length; ++j)
		{
			tab_elements[j].style.fontSize = (currentSize / 10) + "em";
		}
	}
}