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');
		if (document.getElementById('lightbox'))$('.lb').lightBox();
	});
}