/*
 * default.css
 */
body {
  color: #000000;
  background-color: #FFFFFF;
}

h1 {
  color: navy;
}

h2 {
  color: #004040;
}

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 {
  line-height: 150%;
}

p.note{
  font-size: 90%;
  line-height:120%;
  color: gray;
}

div.author {
  line-height: 150%;
}

div.history {
  line-height: 120%;
}

div.contents {
  margin-left: 20px;
}

pre.code {
  color: #000000;
  background-color: #FFFFE0;
  width: 600px;
  margin-top: 2px;
  padding: 5px;
  border-style: ridge;
  border-width: thin;
  /* for Netscape 4.x */
  white-space: pre;
}

pre.samp {
  color: #FFFFFF;
  background-color: #000000;
  width: 500px;
  padding: 5px;
  border-style: ridge;
  border-width: thin;
  /* for Netscape 4.x */
  white-space: pre;
}

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

ul {
  line-height: 120%;
}

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

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

.linenumber
{
    color: #000080;
}