var userAgent = navigator.userAgent.toLowerCase();
 
// Figure out what browser is being used
jQuery.browser = {
	version: (userAgent.match( /.+(?:rv|it|ra|ie|me)[\/: ]([\d.]+)/ ) || [])[1],
	chrome: /chrome/.test( userAgent ),
	safari: /webkit/.test( userAgent ) && !/chrome/.test( userAgent ),
	opera: /opera/.test( userAgent ),
	msie: /msie/.test( userAgent ) && !/opera/.test( userAgent ),
	mozilla: /mozilla/.test( userAgent ) && !/(compatible|webkit)/.test( userAgent )
};

$(document).ready(function() {

	$("#envoltorio").centerInClient();
	$("#semitransparente").corner();

	$("#semitransparente").height("auto");
	var offset = 20;
	if ($.browser.chrome) //chrome workaround
		offset = 55;
	$("#semitransparente").height($("#panel").height() + offset);
	
});