body {
  border: 1px solid;
  padding: 20px;
  background-color: white;
}

h1 {
  margin: 30px;
  text-decoration: underline;
}

h2 {
  margin: 20px;
}

table {
  border-spacing: 0px;
}

th {
  padding: 3px;
  border: 1px solid;
  background-color: #ddd;
}

td {
  padding: 3px;
  border: 1px solid;
  text-align: right;
}

div.patch, div.quicklinks, div.framed {
  margin: 30px;
  padding: 15px;
  background-color: #eee;
  border: 1px solid black;
}

div.pageheader {
  font-size: large;
  margin-left: 5px;
  margin-right: 5px;
  padding: 5px;
  padding-top: 0px;
  background-color: #eee;
  border: 1px solid black;
  min-height: 80px;
}

div.pageheader img {
  float: right;
  height: 75px;
  margin: 5px;
}

div.breadcrumb {
  font-size: medium;
}

div.diffsummary, div.debdiff, div.nondebdiff, div.debseries {
  margin-left: 40px;
}

div.pagefooter {
  margin-top: 30px;
  text-align: center;
  font-size: small;
}

.url {
  font-family: fixed;
}

.diffstat {
  font-family: fixed;
  font-size: small;
  text-align: left;
}

/*
     FILE ARCHIVED ON 05:46:14 Aug 28, 2013 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 05:27:22 Dec 12, 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.518
  exclusion.robots: 0.039
  exclusion.robots.policy: 0.029
  esindex: 0.009
  cdx.remote: 14.978
  LoadShardBlock: 284.394 (3)
  PetaboxLoader3.resolve: 153.013 (5)
  PetaboxLoader3.datanode: 215.805 (5)
  load_resource: 179.307 (2)
*/