//$Id: scrollbar.js 603 2008-10-21 17:54:42Z jelner $

window.addEvent('domready',function() {
	['inhaltlinks','naviunten1','naviunten2','naviunten3','naviunten4'].each(function(id) {
		var el = $(id);
		if($chk(el)) {
			//Allgemein Scrollbalken auf Element deaktivieren
			el.setStyle('overflow','hidden');
			//Ggf. Scrollbalken einblenden
			var height = el.getSize().y;
			var sHeight = el.getScrollSize().y;
			var hHeight = (height*(height/sHeight));
			var sPos = 0;
			if(location.href.match(/(?:#c|stp_context_navigation\[keyvisual\]=)([0-9]+)/)) {
				var anchor = el.getElement('#c'+RegExp.$1);
				if($chk(anchor)) sPos = anchor.getPosition(el).y;
			};
			if(sHeight > height) {
				var bar = new Element('div',{'id': id+'_scrollbalken'});
				var handle = new Element('div',{'id': id+'_scrollklotz', 'styles': {'height': hHeight}});
				$('center').adopt(bar.adopt(handle));
				makeScrollbar(el,bar,handle,false,true,sPos);
			};
		};
	});
});
