function equalize() {
  var lc = $('#leftcol');
  var rc = $('#rightcol')
  var left = lc.height();
  var right = rc.height();
  if (right < left) {
    rc.height(left)
  }
}
function vivify_menu() {
  $('#main-menu li').mouseenter(
	function () {
	    var elt = $(this);
		elt.animate({paddingLeft: "10px"}, 300);
		elt.animate({paddingLeft: "0px"}, 300);
	}
  );
}



$(document).ready( function() {
  equalize();
  vivify_menu();

})