body {
  color: black;
  background-color: white;
  font-family: times;
  font-weight: normal;
}

pre {
  color: black;
  background-color:#DDDDDD
}

div.container
{
  width:100%;
  margin:0px;
}
div.header,div.footer
{
  color:black;
  background-color:white;
  margin-left:150px;
  clear:left;
}
div.left
{
  float:left;
  width:120px;
  margin:0;
  padding:1em;
}
div.content
{
  margin-left:160px;
  max-width:630px;
  width:630px;
}
p.center {text-align: center}