/*
 * Settings of the sticky menu
 */

jQuery(document).ready(function(){
   var wpAdminBar = jQuery('#wpadminbar');
   if (wpAdminBar.length) {
      jQuery("#mt-menu-wrap").sticky({topSpacing:wpAdminBar.height()});
   } else {
      jQuery("#mt-menu-wrap").sticky({topSpacing:0});
   }
});

/*
playback timings (ms):
  LoadShardBlock: 29.062 (3)
  esindex: 0.006
  captures_list: 67.034
  CDXLines.iter: 12.302 (3)
  PetaboxLoader3.datanode: 66.577 (4)
  exclusion.robots: 0.124
  exclusion.robots.policy: 0.113
  RedisCDXSource: 22.956
  PetaboxLoader3.resolve: 16.664
  load_resource: 91.01
*/