/*
 * Settings of the sticky menu
 */

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

/*
playback timings (ms):
  LoadShardBlock: 65.102 (3)
  esindex: 0.005
  captures_list: 81.479
  CDXLines.iter: 11.92 (3)
  PetaboxLoader3.datanode: 66.095 (4)
  exclusion.robots: 0.267
  exclusion.robots.policy: 0.257
  RedisCDXSource: 1.673
  PetaboxLoader3.resolve: 57.451
  load_resource: 63.406
*/