function scrollv(id, step)
{
var element = document.getElementById(id);
if (element)
{
var s = parseInt(element.scrollTop);
var m = parseInt(element.scrollHeigth) - parseInt(element.clientHeight);
s += step;
if (s < 0) s = 0; else
if (s > m) s = m;
element.scrollTop = s;
}
}
var scrolltimer = false;
function startscroll(id, step)
{
if (scrolltimer) clearInterval(scrolltimer);
var date = new Date();
var time = date.getTime();
scrolltimer = setInterval(function() {
date = new Date();
scrollv(id, Math.round(step * (date.getTime() - time) / 25));
time = date.getTime();
}, 25);
}
function stopscroll()
{
if (scrolltimer)
{
clearInterval(scrolltimer);
scrolltimer = false;
}
}
function add_scrollbar(id, scrollbar_id)
{
var element = document.getElementById(id);
element.innerHTML = ' \n' + element.innerHTML + '
';
}
/*function add_scrollbar(id, scrollbar_id)
{
var element = document.getElementById(id);
element.innerHTML =
' \n' +
' \n' +
' ' + element.innerHTML + ' | \n' +
'  | \n' +
'
\n' +
' \n' +
' | | \n' +
'
\n' +
' \n' +
'  | \n' +
'
\n' +
'
';
}*/