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

h1 {
  background-color: #0044FF;
  color: white;
  font-size: 150%;
}

h2 {
  color: navy;
  font-size: 120%;
}

h3
{
  color:rgb( 0, 0, 0);
  margin-left: 0.5em;
  color:rgb(0,0,0);
}

h4
{
  color:rgb( 0, 0, 0);
  margin-left: 0.5em;
  color:rgb(0,0,0);
}

p {
  text-indent: 1em;
  line-height: 150%;
}

div.block
{
  margin-left:1em;
}

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%;
}