body {
  border: 2%;
}

pre {
  COLOR: white;
  BACKGROUND: black;
  float: left;
  padding: 5px;
  padding-right: 20px;
  overflow: visible;
  width: 98%;
  border: 1px solid red;
}

.pre2 {
  BACKGROUND: #e0f0f0;
  COLOR: black;
  border: 1px dashed blue;
}

kbd {
  COLOR: #a00000;
  BACKGROUND: #f0f0f0;
}

li {
  padding: 1px;
}

h1, h2, h3, h4, h5, h6 {
    color: Black;
    background: none;
    font-weight: normal;
    margin: 0;
    padding-top: 0.5em;
    padding-bottom: 0.17em;
    border-bottom: 1px solid #aaaaaa;
}
h1 { font-size: 188%; }
h2 { font-size: 150%; }
h3, h4, h5, h6 { 
    border-bottom: none;
    font-weight: bold;
}
h3 { font-size: 132%; }
h4 { font-size: 116%; }
h5 { font-size: 100%; }
h6 { font-size: 80%;  }

.sub {
	border-bottom: 1px solid #aaaaaa;
}

.pretable {
  width=80%;
}

A {
  COLOR: #a02020;
  text-decoration: none;
}
A:active {
  COLOR: red; text-decoration: underline;
}
A:visited {
  text-decoratioin: none;
}
A:hover {
  text-decoration: underline;
}
strong {
  font-family: trebuchet MS; font-size: 10pt; color: #a02020
}
h3 {
  font-family: trebuchet MS; font-size: 12pt; color: #a02020
}
#noIndent {
	padding:20;
	margin:0;
}