div#document{
  margin: 10px 0;
}

div.document_title{
  font-size: 24px;
  margin: 20px 0;
}

div.document_title h1{
  font-size: 1em;
}

div.document_body{
  margin-bottom: 15px;
}

div#document_teasers{
  margin-top: 10px;
}

div#document_teasers a{
  font-size: large;
}

div.document_teaser{
  margin-left:   10px;
  margin-bottom: 10px;
}

table#two_column_table{
  margin-top: -16px;
}