/* Style sheet for FunctionalJ documentation */
/*
  #003F62 - dark blue
  #59779C - medium blue
  #CEF7E4 - light blue
  #D86D1B - orange
  #FFE0A7 - yellow
*/
body, p, a, h1, h2, h3, li, th, td {
  font: x-small sans-serif;
  font-size: 11pt;
}
h1 {
  font-size: 16pt;
  font-weight: bold;
  color: #FFFFFF;
  background-color: #59779C;
}
div.chapter div.titlepage h2 {
  font-family: serif;
  font-size: 14pt;
  font-weight: bold;
  color: #D86D1B;
  background: #FFFFCC;
  margin-top: 80px;
}
div.sect1 div.titlepage h2 {
  font-size: 12pt;
  color: #006633;
  background: #FFFFFF;
  border-bottom: solid 1px #006633;
  margin-top: 40px;
  margin-bottom: 24px;
}
h3 {
  font-weight: bold;
  color: #770000;
}
code, pre {
  font-size: 10pt;
  font-family: LucidaTypewriter, monospace;
  color: #000077;
}
pre, blockquote {
  display: block;
  padding: 8px 12px;
  margin-top: 20px;
  margin-bottom: 20px;
}
pre {
  background-color: #FFFFF6;
  border: 1px solid #EA7500;
}
blockquote {
  background-color: #CCFFCC;
  border: 1px solid #007700;
}
em {
  color: #770000;
  font-style: italic;
  font-weight: bold;
}
li {
  margin-bottom: 10px;
}
table {
  border: #59779C solid;
  border-collapse: collapse;
}
td, th {
  border: #224488 1px dashed;
  padding: 2px 2px 2px 2px;
  text-align: center;
}
th {
  font-weight: bold;
  background-color: #F7F7FF;
}
/* Syntax highlighting */
.java_type {
  color: #002CDD;
}
.java_comment {
  color: #D86D1B;
}
.java_operator {
  color: #007C1F;
}
.java_separator {
  color: #0021FF;
}
.java_plain {
  color: #000000;
}
.java_javadoc_comment {
  color: #D86D1B;
  background-color: #F7F7F7;
  font-style: italic;
}
.java_keyword {
  color: #800080;
  font-style: bold;
}
.java_literal {
  color: #008000;
}
.java_javadoc_tag {
  color: #EEEEEE;
  background-color: #F7F7F7;
  font-style: italic;
  font-weight: bold;
}
.xml_plain {
  color: rgb(0,0,0);
}
.xml_char_data {
  color: rgb(0,0,0);
}
.xml_tag_symbols {
  color: rgb(0,59,255);
}
.xml_comment {
  color: rgb(147,147,147);
  background-color: rgb(247,247,247);
}
.xml_attribute_value {
  color: rgb(188,0,188);
}
.xml_attribute_name {
  color: rgb(0,96,0);
}
.xml_processing_instruction {
  color: rgb(0,0,0);
  font-weight: bold;
  font-style: italic;
}
.xml_tag_name {
  color: rgb(0,55,255);
}
.xml_rife_tag {
  color: rgb(0,0,0);
  background-color: rgb(228,230,160);
}
.xml_rife_name {
  color: rgb(0,0,196);
  background-color: rgb(228,230,160);
}