// JavaScript Document

//fonctions de scroll pour faire defiler un texte
function go_down(arg1,arg2){
    var objDiv = document.getElementById(arg1);
    objDiv.scrollTop = objDiv.scrollTop+arg2;
}

function go_up(arg1,arg2){
    var objDiv = document.getElementById(arg1);
    objDiv.scrollTop = objDiv.scrollTop - arg2;
}

function go_down_continue(arg1){
go_down(arg1,0);
    string = "go_down('"+arg1+"',1);";
    a = setInterval(string,10);
}

function go_up_continue(arg1){
go_up(arg1,0);
    string = "go_up('"+arg1+"',1);";
    b = setInterval(string,10);
}

function stop_go_down_continue(){
    clearTimeout(a);
}

function stop_go_up_continue(){
      clearTimeout(b);
}