/**
 * Scrolling functions
 */
var ScrollInterval = 10;
var ScrollSteps = 1;

function scrollup(){
  //frames[ "iframecontent" ].scrollBy( 0, -10 );
  scrolling = true;
  scrolldir = "up";
  //window.status = "up";
  continue_scroll();
}
function scrolldown(){
  //frames[ "iframecontent" ].scrollBy( 0, +10 );
  scrolling = true;
  scrolldir = "down";
  //window.status = "down";
  continue_scroll();
}

function stop_scroll(){
  scrolling = false;
  scrolldir = "";
  continue_scroll();
}

var scrolling = false;
var scrolldir = "";
function continue_scroll(){
  //window.status = "scroll";
  if ( scrolling == true ) {
    if ( scrolldir == "up" ) {
      frames[ "iframecontent" ].scrollBy( 0, -ScrollSteps );
    } else if ( scrolldir == "down" ) {
      frames[ "iframecontent" ].scrollBy( 0, +ScrollSteps );
    } else {
      window.status = "Scroll-Direction " + scrolldir + " not supported.";
    }
    setTimeout( "continue_scroll()", ScrollInterval );
  }//if scrolling
}