table {
  border: 0;
  width: 100%
}

dt {
  padding: 2px;
  margin: 0px;
  background: rgb(204, 204, 255);
  color: black;
}

dd {
  padding: 4px;
  margin: 0px 8px 0px 12px;
  text-align: justify;
}

li {
  margin-left: 12px;
}

ul {
  padding: 4px;
  margin: 0px 0px 0px 12px;
}

pre {
  margin-left: 5%;
}

td.size {
  text-align: right;
}

table.poster {
  background: white;
  color: black;
  border: 2px solid rgb(170, 0, 102);
  width: 100%;
  padding: 0px;
  margin: 0px;
}

tr.posterhead {
  font-family: helvetica, ariel, sans-serif;
  font-weight: bold;
  background: rgb(170, 0, 102);
  text-align: center;
  color: white;
}

tr.poster0 {
  font-family: helvetica, ariel, sans-serif;
  background: white;
  color: black;
  white-space: nowrap;
}

tr.poster1 {
  font-family: helvetica, ariel, sans-serif;
  background: rgb(200, 200, 200);
  color: black;
  white-space: nowrap;
}