if (self != top) top.location.href=self.location.href;
if (typeof jQuery != 'undefined') {
	$(document).ready(function() {
		if (document.getElementById('toc')) {
			$.toc('#inhalt h2, #inhalt h3, #inhalt h4').prependTo('#toc');
		}
		$('.menu a#id_1').attr('title','');
		$('.menu a, .tooltip').tooltip({track: true, delay: 300, showURL: false, showBody: "  ", fade: 350,top: -75 });
	});
}