.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 11:37:29 Dec 10, 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: 0.905
  exclusion.robots: 0.066
  exclusion.robots.policy: 0.053
  esindex: 0.013
  cdx.remote: 22.285
  LoadShardBlock: 206.66 (3)
  PetaboxLoader3.datanode: 1170.319 (5)
  PetaboxLoader3.resolve: 511.097 (3)
  load_resource: 1591.886 (2)
*/