body {
  color: #000000;
  background-color: #FFFFFF;
}

h1 {
  background-color: #0066FF;
  color: white;
  font-size: 150%;
  margin-left: 5em;
  margin-right: 5em;
}

h2 {
  background-color: #00aaFF;
  color: white;
  font-size: 140%;
  margin-left:0.6em;
  padding-top: 0.1em;
  padding-left: 0.5em;
  padding-bottom: 0.1em;
}

h3
{
  color: navy;
  font-size: 110%;
  margin-left: 1.5em;
}

h4
{
  color: darkgreen;
  margin-left: 1.5em;
}

h5
{
  color: black;
  margin-left: 1.5em;
}

p {
  text-indent: 1em;
  line-height: 150%;
  margin-left: 0.3em;
  margin-right: 0.3em;
}

p.note {
  text-indent: 2em;
  font-size: 90%;
  color: navy;
}

div.section {
  background-color: rgb(255,255,222);
  border: 1px solid gray;
  margin-left: 3.5em;
  margin-right: 4.5em;
}

div.subsection {
  margin-left: 1.8em;
  margin-right: 1.0em;
}

ul {
  line-height: 120%;
}

li {
  margin-bottom: 6px;
}

ol {
  line-height: 120%;
}

dl {
  line-height: 120%;
}

.indent {
  margin-left:  40px;
  margin-right: 20px;
}

.em1 {
  color: #FF0000;  /* red */
}

.em2 {
  color: #008000;  /* green */
}

.comment {
  color: #008000;  /* green */
}

.keyword {
  color: #3333FF;  /* navy */
}

.literal {
  color: #800000;  /* maroon */
}

.prompt {
  color: #008000;  /* green */
}

.logo
{
  margin-left:0em;
  font-size:10pt;
  line-height:18pt;
}

pre.console {
    margin-left:    3em;
    margin-right:   3em;
    background-color: black;
    color: white;
    font-family: courier, monospace;
    padding: 5pt;
    border-width: 2pt;
    border-style: double;	
}

pre.console kbd {
    font-family: courier, monospace;
    color: yellow;
}

.linenumber
{
    color: #000080;
}

b.java {
    color: blue;
}

b.cpp {
    color: #008800;
}

hr.section{
    background-color:#0022ee;
    margin-top:1em;
    margin-bottom:1em;
    height:0.3em;
    width:80%;
}