$(document).ready(function() {
	if (self != top) top.location.href=self.location.href;
	if (document.getElementById('toc')) {
		$.toc('#inhalt h2, #inhalt h3, #inhalt h4').prependTo('#toc');
	}
});