.panel {
  margin:0;
  background:#E2E4EF;
  border:1px solid #C4C9DF;
  border-radius:2px;
}

.panel .headline, .panel .body, .panel > a {
  padding:.75rem 1rem;
  margin:0;
}

.panel .body {
  background-color:#fff;
  border-radius:0 0 2px 2px;
}

.panel ul {
  margin:0;
  padding-left:5px;
}

time.gen-date {
  font-size:0.8rem;
  display:block;
}

.version h3 .releasedate {
  float:right;
  font-weight:normal;
  color:#666;
}
/*
     FILE ARCHIVED ON 10:15:52 May 16, 2016 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 04:47:28 Dec 14, 2025.
     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: 2.603
  exclusion.robots: 0.058
  exclusion.robots.policy: 0.046
  esindex: 0.009
  cdx.remote: 13.011
  LoadShardBlock: 285.58 (3)
  PetaboxLoader3.resolve: 364.63 (5)
  PetaboxLoader3.datanode: 281.583 (5)
  load_resource: 498.132 (2)
*/