function rep(auteur) {
var textArea = document.getElementById("comment");
textArea.value += "<cite>@" + auteur + "</cite>:\n";
textArea.focus();
} 

function t()
{
document.getElementById("comment").focus();
}

var currentSize = 12;
var minSize = 6;
var maxSize = 22;
function changeTaille(taille) {
	currentSize += taille;
	currentSize = (currentSize<minSize) ? minSize : ((currentSize>maxSize) ? maxSize : currentSize);
		
	if (document.getElementById('larticle'))
		document.getElementById('larticle').style.fontSize = (currentSize/10)+'em';
	//document.getElementByClass('com').style.fontSize = (currentSize/10)+'em';
}