body {
  font-size: 14px;
  color: #000;
  background: #fff;
  padding: 0;
  margin: 0;
  }
#header {
  float: left;
  width: 100%;
  background: #DAE0D2 url("bg.gif") repeat-x bottom;
  font-size: 70%;
  line-height: normal;
  }
#footer {
  color: #666;
  font-size: 80%;
  }
#header ul {
  margin: 0;
  padding: 8px 8px 0;
  list-style: none;
  }
#header li {
  float: left;
  background: url("left.gif") no-repeat left top;
  margin: 0;
  padding: 0 0 0 7px;
  }
#header a {
  float: left;
  display: block;
  background:url("right.gif") no-repeat right top;
  padding: 5px 15px 4px 6px;
  text-decoration: none;
  font-weight: bold;
  color:#337;
  }
/* Commented Backslash Hack
   hides rule from IE5-Mac \*/
#header a {float:none;}
/* End IE5-Mac hack */
#header a:hover {
  color: #333;
  }
#header #current {
  background-image: url("left_on.gif");
  }
#header #current a {
  background-image: url("right_on.gif");
  color:#333;
  padding-bottom:5px;
  }
#contents {
  padding: 40px;
  }
table {
  background: rgb(250,250,195);
  }
pre {
  background: rgb(250,250,195);
  color: rgb(1,40,1);
  margin: 20px;
  padding: 10px;
  overflow: auto;
}
h1 {color: rgb(5,120,5); text-align: center;}
h2 {color: rgb(2,80,2); text-align: center;}
h3 {color: rgb(1,40,1);}
strong, b {color: #773;}
div.figure {margin: 0; padding: 1.5em; text-align: center;}
div.equation {margin: 0; padding: 0.5em; text-align: center;}
table {margin-left: auto; margin-right: auto; background: rgb(250,250,195);}
tr th td {padding: 1em;}