// 02.05.2011. Joachim Karl, Squidds
// jquery docReady:  set teh height of Navigationsspalte
$(function() {
	if ($("#Navigationsspalte") && $("#Inhaltsbereich"))
	{
		var content_height = "" + $("#Inhaltsbereich").height() + "px";
		if ($("#Inhaltsbereich").height() > $("#Navigationsspalte").height())
		{
			$("#Navigationsspalte").css("height", content_height);
		}
	}
});