.example{
  border-left: 4px double #ddd !important;
  border-left: 1px solid #ccc;
  margin-left: 2em;
  padding-left: 2em;
}

div.download, div.usedby, div.seealso, div.furtherreading, div.indexread, div.indexdownload {
  width: 708px;
  margin-top: 3em;
  margin-bottom: 3em;
  border: 1px solid #a9a9a9;
}


.section h3.title a.skip:hover {
  background-color: #fff ! important;
  color: #222 ! important;
  display: block;
  float: left;
  vertical-align: bottom;
  text-decoration: none;
  margin-right: 6px;
}

div.download, div.usedby, div.seealso, div.furtherreading, div.indexread, div.indexdownload {
    width: 708px;
    margin-top: 3em;
    margin-bottom: 3em;
    border: 1px solid #a9a9a9;
}

div.download h3,
div.usedby h3,
div.seealso h3,
div.furtherreading h3,
div.indexread h3,
div.indexdownload h3 {
  margin-top: -1.2em;
  margin-left: -15px;
  font-size: small;
  width: 10em;
  border: 1px solid #a9a9a9;
  padding: 3px 3px 3px 13px;
  background-color: #fff;
  color: #222;
  position: relative;
}

div.indexread h4{
   margin-left: 1em;
 //  padding: 3px 3px 3px 13px;
   position: relative;
}

div.indexread p,
div.indexdownload p,
div.indexdownload dl {
  margin-left: 1em;
}