// $Id$
jQuery(document).ready(function()
{
//	jQuery('a[rel*=lightbox]').facebox();

	// Match size of menu and document.
	var doc = document.getElementById("document");
	if (!doc) return;
	var menu = document.getElementById("sidebar");
	if (!menu) return;

	if (doc.offsetHeight > menu.offsetHeight)
	{
		// Resize menu.
		jQuery("#sidebar").css("height", doc.offsetHeight - 13);
	}
	else if (doc.offsetHeight < menu.offsetHeight)
	{
		// Resize document.
		jQuery("#document").css("height", menu.offsetHeight - 13);
	}

	return;
});