body {
  padding: 20px;
  margin: 5px 50px 5px 50px;
  background: #ffffff;
  color: #000000;
  width: 700px;
  border: solid 2px #888888;
}

a {
  color: #041fc5;
  text-decoration: none;
}

a:hover {
  color: #990000;
  text-decoration: underline;
}

pre.programlisting {
  background-color: #eeeeee;
  border: 1px solid #aaaaaa;
}

H1.title {
  font-family: Helvetica,Arial;
  font-weight: bold;
  font-size: 16;
}

H2.title {
  font-family: Helvetica,Arial;
  font-weight: bold;
  font-size: 14;
}

H3.title {
  font-family: Helvetica,Arial;
  font-weight: bold;
  font-size: 13;
}

H4.title {
  font-family: Helvetica,Arial;
  font-weight: bold;
  font-size: 12;
}

H3.author {
  font-family: Helvetica,Ariel;
  font-weight: bold;
  font-size: 13;
}


p {
  font-family: Helvetica,Ariel;
  font-size: 12;
  text-align: justify;
}

.doctable {
  border-style: dotted dashed solid;
  border-right: #aaaaaa 1px solid;
  border-top: #aaaaaa 1px solid;
  border-left: #aaaaaa 1px solid;
  border-bottom: #aaaaaa 1px solid;
  font-family: verdana, arial, sans-serif;
  font-size: 11px;
  color: #666666;
}

.bgtable0 {
  background-color: #d9dcdf;
}

.bgtable1 {
  background-color: #e9ecef;
}

.bgtable2 {
  background-color: #e0e3e8;
}

.smallnote {
  font-family: verdana, arial, sans-serif;
  font-size: 10px;
  color: #666666;
}

.warning {
  font-style:italic;
  font-weight: bold;
  border: ridge 4px #dd0000;
  width: 70%;
  margin-left: 15%;
  padding-left: 5px;
  padding-right: 5px;
}