body {
  color:#000000; background-color: #ffffff;
}

a:link { color:#337733; text-decoration:none; }
a:visited { color:#337733; text-decoration:none; }
a:hover { color:#337733; text-decoration:underline; }

div.leader {  }
div.leader div.navigation { font-size:11px; }

h1 { text-align: center; }
div.abstract { text-align:center; margin: 0.5em 5%; }

div.main {
  margin-top: 1em;
  margin-bottom: 1em;
}

div.trailer { margin-top:1em; padding-top:1em; border-top: 0.1em #dddddd solid; }