body {
  font-family: Georgia, "Times New Roman", Times, serif;
  color: black;
  background-color: #FFFFFF;
  margin-right: 0px;
}
a { text-decoration: none }
a:link    { color: blue }
a:visited { color: purple }
a:hover   { text-decoration: underline; }
h1 {
  text-align: center;
  font-family: Helvetica, Geneva, Arial, SunSans-Regular, sans-serif;
  border: 2px solid black;
}
h2 {
  text-align: left;
  margin-bottom: 3px;
}
div.contents {
  border-top: thin solid;
  border-bottom: thin solid;
}
div.simulation {
  background: #FFFFFF;
  margin: 3px 0;
  padding: 0.3em;
  border-right: 1em solid black;
}
div.abstract {
  margin: 3px 0;
  padding: 0.3em;
}