HTML {
  width: 100%;
  height: 100%;
}

BODY {
  margin: 0; 
  padding: 0; 
  border-collapse: collapse;
  color: black; 
  background-color: white;
  font-family: Verdana, Helvetica, sans-serif;
  font-weight: normal; 
  font-size: 15px;
  width: 100%;
  height: 100%;
}

A:link {
  /* unvisited link */
  color:#0216A2
}

A:visited {
  /* visited link */ 
  color:#0216A2
}

.product_name {
  background-image: url(gradient.png);
  padding: 12px;
  text-align: right;
  font-weight: bold;
  font-size: 24px;
  font-style: oblique;
  color: #0000a0;
  border-bottom: solid #C0C0C0 1px;
}

.other_product_links {
  border-collapse: collapse;
  color: gray;
  background-color: #f1f1f1;
  white-space: nowrap;
  border-bottom: solid #C0C0C0 1px;
  height: 15px;
  font-size: 15px;
  text-align: right;
  padding-top: 3px;
  padding-bottom: 3px;
  padding-right: 6px;
}

.other_product_links A {
  margin: 0;
  font-size: 15px; 
  font-weight: normal; 
}

.left_sidebar {
  background-color: #f1f1f1;
  border-right:solid #C0C0C0 1px;
}

.left_sidebar A {
  margin: 0;
  font-size: 15px; 
  font-family: Verdana, Helvetica, sans-serif;
  font-weight: bold;
  color: black;
  text-decoration: none;
}

.left_sidebar A:visited {
  color: black;
}

.left_sidebar A:hover {
  text-decoration: underline;
}

.main {
  padding-right: 20px; 
  padding-left: 20px; 
  padding-bottom: 20px; 
  padding-top: 20px; 
  color: black; 
  font-family: Verdana, Helvetica, sans-serif; 
  font-size: 15px; 
  font-weight: normal;
}

H1 {
  border-bottom: 1px solid #ccc;
  margin: 0;
  padding-bottom: 0px; 
  padding-top: 0px;
  font-weight: bold; 
  font-size: 23px; 
  font-family: Verdana, Helvetica, sans-serif;
}

H2 {
  border-bottom: 1px solid #ccc;
  padding-bottom: 0px; 
  padding-top: 0px; 
  font-weight: bold; 
  font-size: 19px; 
  font-family: Verdana, Helvetica, sans-serif;
}

H3 {
  padding-bottom: 0px; 
  padding-top: 0px; 
  font-weight: bold; 
  font-size: 15px; 
}

.copyright {
  border-top: lightgrey 1px solid;
  padding-top: 3px;
  padding-right: 10px;
  padding-bottom: 2px;
  font-size: 15px;
  color: gray; 
  text-align: right;
}

.toc {
  border: 1px solid #aaaaaa;
  background-color: #f1f1f1;
  padding: 5px;
}

.toclevel-1 {
  list-style: none;
}

.toclevel-1 A {
  font-size: 15px; 
  font-weight: normal; 
  text-decoration: none;
  color: blue;
}

.toclevel-1 A:hover {
  text-decoration: underline;
}

.toclevel-2 {
  list-style: none;
}

.toclevel-2 A {
  font-size: 15px; 
  font-weight: normal; 
  text-decoration: none;
  color: blue;
}

.toclevel-2 A:hover {
  text-decoration: underline;
}

.date {
  color: gray;
}

.comment_button {
  color: #CCCCCC;
  background-color: #2D2D2D;
  font-weight: bold;
  padding-top: 5px;
  padding-bottom: 5px;
  padding-left: 10px;
  padding-right: 10px;
  border-top: solid #404040 1px;
  border-left: solid #404040 1px;
  border-bottom: solid #181818 1px;
  border-right: solid #181818 1px;
}

A.comment_button {
  color: #FFFFFF;
  text-decoration: none;
}

A.comment_button:visited {
  color: #FFFFFF;
  background-color: #2D2D2D;
  text-decoration: none;
}

A.comment_button:hover {
  color: #FFFFFF;
  background-color: #4C4C4C;
  border-top: solid #606060 1px;
  border-left: solid #606060 1px;
  border-bottom: solid #383838 1px;
  border-right: solid #383838 1px;
  text-decoration: none;
}

.comment_fnt {
  color: #CCCCCC;
  font-family: Verdana, Helvetica, sans-serif;
  font-weight: normal; 
  font-size: 15px;
  padding-top: 4px;
}

.comment_err {
  color: #CC0000;
  font-family: Verdana, Helvetica, sans-serif;
  font-weight: bold; 
  font-size: 15px;
  padding-top: 4px;
}

.verbatim {
  color: #008000;
}