var fontSize = 11
var lineHeight = 16

function FontSize(arg) {
	obj = document.getElementById("artikel")

	if (arg == 1) {
		if (fontSize < 17) fontSize += 2
	}
	else if (arg == 0) {
		if (fontSize > 9) fontSize -= 2
	}

	lineHeight = fontSize + Math.round(.3*fontSize);

	obj.style.fontSize = fontSize + "px"
	obj.style.lineHeight = lineHeight + "px"
}