// JavaScript Document
// funciones para el menú responsive
$(function() {
			var pull 		= $('#pull');
				//menu 		= $('.nav ul:first');
				menu 		= $('#portal-globalnav'); 
				menuHeight	= menu.height();

			$(pull).on('click', function(e) {
				e.preventDefault();
				menu.slideToggle();
			});

			$(window).resize(function(){
        		var w = $(window).width();
        		if(w > 640 && menu.is(':hidden')) {
        			menu.removeAttr('style');
        		}
    		});
		});