var styles = [ "60%" , "80%" , "100%" , "120%" , "140%" ]
var style = 3

function changestyle(l_direction)
	{
	if ( ( style > 1 ) && ( l_direction == -1 ) ) { style -- }
	if ( ( style < 5 ) && ( l_direction == 1 ) ) { style ++ }
	document.getElementById("corps_article").style.fontSize = styles[style-1]
	}