body {
  border: 1px solid;
  padding: 20px;
}

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;
}

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;
  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;
}