jQuery.noConflict();
	(function($) {
	$(document).ready(function() {
	var options = {};
	if (document.location.search) {
		var array = document.location.search.split('=');
		var param = array[0].replace('?', '');
		var value = array[1];
		
		if (param == 'animation') {
			options.animation = value;
		}
		else if (param == 'type_navigation') {
			options[value] = true;
			if (value == 'dots') $('.border_box').css({'marginBottom': '40px'});
		}
	}
	
	$('.box_skitter_large').skitter(options);		
	// Highlight
	$('pre.code').highlight({source:1, zebra:1, indent:'space', list:'ol'});
	
	});
})(jQuery);

jQuery.noConflict();
	(function($) {
	function zIndexWorkaround()
	{
    // If the browser is IE,
    if(isIE())
    {
        /*
        ** For each div with class menu (i.e.,
        ** the thing we want to be on top),
        */
        $$("div.prev_button").each(function(menu) {
            // For each of its ancestors,
            menu.ancestors().each(function (a) {
                var pos = a.getStyle("position");
 
                // If it's positioned,
                if(pos == "relative" ||
                   pos == "absolute" ||
                   pos == "fixed")
                {
                    /*
                    ** Add the "on-top" class name when the
                    ** mouse is hovering over it,
                    */
                    Event.observe(a, "mouseover", function() {
                        a.addClassName("on-top");
                    });
                    // And remove it when the mouse leaves.
                    Event.observe(a, "mouseout", function() {
                        a.removeClassName("on-top");
                    });
                }
            });
        });
    }
}
})(jQuery);