/*
 * default.css
 */

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

h1 {
  color: #000080;
}

h2 {
  color: #004040;
}

h3 {
  margin-top: 1em;
}

p {
  line-height: 150%;
}

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

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

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

pre.code {
  color: #000000;
  background-color: #FFFFE0;
  width: 500px;
  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;
  margin-top: 2px;
  padding: 5px;
  border-style: ridge;
  border-width: thin;
  /* for Netscape 4.x */
  white-space: pre;
}

blockquote {
  line-height: 120%;
}

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: #000080;  /* navy */
}

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

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