body {
  padding-bottom: 20px;
}

/* Wrapping element */
/* Set some basic padding to keep content from hitting the edges */
.body-content {
  padding-left: 15px;
  padding-right: 15px;
}

/* Responsive: Portrait tablets and up */
@media screen and (min-width: 768px) {
  /* Let the jumbotron breathe */
  .jumbotron {
    margin-top: 20px;
  }
  /* Remove padding from wrapping element since we kick in the grid classes here */
  .body-content {
    padding: 0;
  }
}
/*
     FILE ARCHIVED ON 22:20:43 Mar 16, 2020 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 13:24:15 Oct 04, 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):
  captures_list: 0.523
  exclusion.robots: 0.049
  exclusion.robots.policy: 0.038
  esindex: 0.008
  cdx.remote: 9.426
  LoadShardBlock: 230.561 (3)
  PetaboxLoader3.datanode: 2414.733 (4)
  PetaboxLoader3.resolve: 142.352 (2)
  load_resource: 2352.951
*/