#contents hr {
  margin : 40px 10%;
}

#contents table.download td {
  vertical-align : middle;
}

#contents td.links {
  width       : 12em;
}

#contents td.links ul {
  margin-top : 0.5em;
}

#contents td.changes ul {
  margin-top  : 0.5em;
  font-size   : 0.8em;
  line-height : 1.1em;
}

#contents p {
  line-height   : 1.3em;
  margin-bottom : 0.2em;
  margin-top    : 0.2em;
}

#contents p.release-date {
  font-size  : 0.75em;
  text-align : right;
  font-style : italic;
}

#contents li {
  margin-bottom : 0.5em;
}

#contents h3 {
  font-style    : italic;
  font-size     : 1.25em;
  
  margin-top    : 1.5em;
  margin-bottom : 0.2em;
  text-align    : left;
}

#contents h4 {
  line-height   : 1em;
  margin-bottom : 0.5em;
  margin-left   : 2em;
  text-align    : left;
}