/**
 * Code für den Divscroll
 */
window.addEvent('domready', function(){
    //var xscroll = $('scroll').getSize();
    var xheader = $('header').getSize();
    var xtitle = $('title').getSize();    
    var xbody = $('body').getSize();    
    var xheader_height = xheader.y;
    var xtitle_height = xtitle.y;    
    var xbody_height = xbody.y;
    xscroll_height = xbody_height-xheader_height-xtitle_height;    
    $('scroll').setStyle('height',xscroll_height)
});
/**
 * Ende Divscroll
 */