var contenu_font_size = 11;

function zoom_contenu(diff)
{
    var contenu = document.getElementById("contenu");
    contenu_font_size += diff;
    contenu.style.fontSize = contenu_font_size + 'pt';
}

function zoom_contenu_plus()
{
    zoom_contenu(1);
}

function zoom_contenu_moins()
{
    zoom_contenu(-1);
}