body {
  font-family: Verdana;
  color: #000000;
  // background-color: #E9F8E9;
  background-color: #e1e1e1;
  line-height: 140%;
  text-align: center;
}

td {
  font-size: 14px;
  font-family: Verdana;
  line-height: 120%;
}

pre {
  white-space: -moz-pre-wrap; /* Mozilla */
  white-space: -pre-wrap;     /* Opera 4-6 */
  white-space: -o-pre-wrap;   /* Opera 7 */
  white-space: pre-wrap;      /* CSS3 */
  word-wrap: break-word;      /* IE 5.5+ */
}

.main {
  margin-left: auto;
  margin-right: auto;
  text-align: left;
  width: 750px;
  padding-left: 25px;
  padding-right: 25px;
  padding-bottom: 30px;
  font-size: 14px;
  font-family: verdana;
  line-height: 120%;
  background-color: white;
  border-style: solid;
  border-color: #aaaaaa;
  border-width: 1px;
}

.src {
  margin-top: 25px;
  margin-bottom: 25px;
  margin-left: 35px;
  margin-right: 35px;

  padding-left: 14px;

  border-width: 1px;
  border-style: solid;
  border-color: #777777;
}

.return {
  text-align: center;
}

/*
A.visited { color:#29A924;}
A { color:#29A924;}
P.FINEPRINT { font-size: xx-small; margin-bottom: 10; margin-top: 40; text-align: center; }
*/
a { 
  text-decoration:none;
  color: #4322FF;
}

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

LI {  list-style: square; padding: .3em; }
PRE {  font-size: 100%; color:#000000; }
H4 { font-size: 100%;}
H3 { font-size: 120%;}
H2 { font-size: large; border-bottom: 1px solid #CCC; }
H1 { font-size: x-large;}

H1, H2, H3, H4, H5 {
  font-family: Arial,Helvetica,sans-serif;
  font-weight: normal;
//  color: #494641;
  color: #333333;
  margin-top: 20px;
  margin-bottom: 20px;
}