/*
Navbar "hovernav" dropdown menu - this works only for screen sizes larger than phones.
The Bootstrap CSS is unchanged.
*/
@media (min-width: 768px) {
  .navbar-nav .caret {
    display: none;
  } 
  /* Delete the above if you wish to display the caret */
  .navbar-nav .open ul {
    display: none
  }
  .navbar-default .navbar-nav > .open > a,
  .navbar-default .navbar-nav > .open > a:hover,
  .navbar-default .navbar-nav > .open > a:focus {
    color: #555;
    background: none
  }
  .navbar-inverse .navbar-nav > .open > a,
  .navbar-inverse .navbar-nav > .open > a:hover,
  .navbar-inverse .navbar-nav > .open > a:focus {
    color: #969696;
    background: none
  }
  .navbar-nav .hovernav:hover > .dropdown-menu {
    display: block;
  }
}
/*
     FILE ARCHIVED ON 15:38:15 Oct 06, 2014 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 05:08:08 Oct 02, 2026.
     JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/
/*
playback timings (ms):
  capture_cache.get: 0.363
  captures_list: 0.412
  exclusion.robots: 0.035
  exclusion.robots.policy: 0.025
  esindex: 0.008
  cdx.remote: 9.108
  LoadShardBlock: 95.148 (3)
  PetaboxLoader3.datanode: 255.668 (5)
  PetaboxLoader3.resolve: 95.512 (3)
  load_resource: 363.823 (2)
*/