body {
  background-color: #c0c0c0;
}
h1 {
  text-align: center;
  background-color: #008000;
  color: #ffffff;
  font-family: "Arial";
}
h2 {
   background-color: #008000;
   color: #ffffff;
   font-family: "Arial";
}
div#author {
  float: left;
  margin-right: 10pt;
  background-color: #e0e0e0;
  width: 180pt;
  line-height: 30pt;
  text-align: center;
}
pre.code {
  background-color: #e0e0e0;
}
table {
  width: 100%;
}
th.pro, td.pro {
  background-color: #00c000;
}
th.con, td.con {
  background-color: #f00000;
}
span.new {
  color: #f00000;
}
