document.observe("dom:loaded", function()
{
    if($("sub_menu") != null)
	{
		width = $("sub_menu").getWidth() + 20;
		$("main_content").setStyle("padding-left: " + width + "px");
	}
});