body
{
  padding: 0px;
  top: 0px;
  background-color: #FFFFCC;
  width: auto;
}

div#main_container
{
  position: relative;
  top: 0px;
  border: 0px;
  width: 60%;
  height: auto;
  left: 20%;
  border: 1px solid #FFCCFF;
  background-color: white;
}

div.centered
{
  text-align: center;
}

div.margined
{
  margin: 2ex;
  font-size: larger;
}

h1
{
  font-family: Georgia, serif;
}