#block_top_menu {
  padding-top: 10px; }

/*# sourceMappingURL=blocktopmenu.css.map */


/*
playback timings (ms):
  RedisCDXSource: 2.046
  esindex: 0.014
  exclusion.robots: 0.217
  captures_list: 118.882
  exclusion.robots.policy: 0.204
  PetaboxLoader3.resolve: 99.741 (2)
  load_resource: 359.463 (2)
  CDXLines.iter: 24.062 (3)
  LoadShardBlock: 88.683 (3)
  PetaboxLoader3.datanode: 322.052 (5)
*/