body {
  font-family: georgia;
  margin: 30px;
}

h1 {
  font-size: 300%;
  font-weight: bold;
  text-align: center;
}

h2 {
  font-size: 153.9%;
  font-weight: bold;
}

pre {
  margin-top: 5px;
  padding: 5px;
  background: #f8f8f8;  
  font-weight: bold;
}

p {
  font-size: 123.1%;
}

a {
  color: inherit;
  text-decoration: none;
  border-bottom: 1px dotted #306000;
  font-weight: bold;
}

ul {
  margin-top: 5px;
}

li {
  list-style-position: outside;
  list-style-type: disc;
  margin-top: 2px;
  margin-left: 20px;
  font-size: 116%;
}

div#hd-right {
  color: #306000;
}

div#hd {
  padding-bottom: 20px;
}

div#body-left ul {
  padding-top: 10px;
}

div#tt {
  height: 280px;
  overflow: auto;
  background-color: #f8f8f8;
  padding: 5px;
  margin-right: 10px;
  font-family: monospace;
  color: #808080;
}

span.comment {
  color: #008000;
}

span.code {
  color: #000000;
}

div#pause {
  color: #808080;
}

div#ft {
  margin-top: 20px;
  padding-top: 10px;
  border-top: 1px dotted #c0c0c0;
  margin-bottom: 10px;
  padding-bottom: 15px;
  border-bottom: 1px dotted #c0c0c0;
}

div#copyright p {
  font-size: 116%;
  padding-top: 10px;
}