/* brown #4c2004 */
/* yellow (hover) #ffcc33 */
/* hr #fab41d */
/* red #98012e;  */

body {
  border : none;
  font-family : serif;
  margin : 0.5em;
  padding : 0;
  background : #ffffff;
}

.breadcrumb {
/*  color : #003366; */
  font-family : Verdana, Helvetica, Arial, sans-serif;
  font-size : 80%;
}

.topnav {
  font-family : Verdana, Helvetica, Arial, sans-serif;
  font-size : 80%;
}

.left {
  font-family : Verdana, Helvetica, Arial, sans-serif;
}

/*  text-decoration : none; */
a {
  color : #4c2004;
}

a:hover {
  color : #ffcc33;
}

a:hover,visited {
  color : #ffcc33;
}

a.topnav:hover {
  color : #ffcc33;
}

a.topnav:hover,visited {
  color : #ffcc33;
}

a.topnav {
  text-decoration : none;
  color : #4c2004;
  font-family : Verdana, Arial, Helvetica, sans-serif;
}

a.leftnav {
  text-decoration : none;
  color : #4c2004;
  font-family : Verdana, Helvetica, Arial, sans-serif;
  font-size : 80%;
}

span.ref {
  font-size : 80%;
}
/*
a.leftnav:visited {
  text-decoration : none;
  color : #12037a;
}

a.leftnav:hover {
  color : #ffcc33;
}

a.leftnav:hover,visited {
  color : #ffcc33;
}
*/

code {
  font-family : monospace;
}

hr {
  border : 0;
  height : 1px;
/*  background : #999; */
/*  background : #fab41d; */
  background : #999;
  margin : 0.2em 0em;
}

/* sections */

h1.title {
  margin : 0em 0.5em;
  border-bottom : 0;

  font-family : Helvetica, Arial, sans-serif;
  font-variant : normal;

}

/* old red: #990033 */

h1 {
  margin-right : 1em;
/*  border-bottom : 1px solid #fab41d; */
  border-bottom : 1px solid #999;

  font-family : Helvetica, Arial, sans-serif;
  font-size : 170%;

  color : #4c2004;
}
/* old blue  color : #003366; */

h2 {
  font-family : Helvetica, Arial, sans-serif;
  font-weight : normal;

  color : #333;
/*  color : #4c2004; */
/*  color : #003366; */
}

/* background-color : #ccccdd; */
h2.section {
  font-family : Helvetica, Arial, sans-serif;
  font-weight : normal;

/*  color : #003366; */
  padding : 2px;
}

.s2 {
  margin-left : 10px;
}  

h3 {
  font-family : Helvetical, Arial, sans-serif;
/*  color : #6699cc; */
  color : #333;
  border-bottom : 1px solid #999;
}

h4 {
  font-family : Arial, Helvetica, sans-serif;
  font-variant : small-caps;
  color : #333;
}

/* background : #b9cef7; */
div.section-title {
  font-size : 150%;
  margin : 1.0em 0em;
  padding : 0.2em;
}

div.nav-item {
  padding-left : 2em;
}

.leftnav {
/*  background : #b9cef7; */
/*  bgcolor : #b9cef7; */
}

.desc {
  margin : 0 1em 0em 3em;
}

.faqdesc {
  font-style : italic;
}

.egpad {
  padding : 0.5em 1em;
  margin : 0;
}

.side {
  background : #ccddff;
  padding : 0.5em;
  font-size : larger;
  float : right;
  width : 30%;
}

.leftside {
  background : #ccddff;
  padding : 0.5em;
  font-size : larger;
  float : left;
  width : 30%;
}

.glossary {
  background : #ccddff;
}

.plainside {
  float : right;
  width : 30%;
}

/* boxes */

/* background : #cac7d9 vs #ccccff */
/* 204, 213, 221 */
/* background : #ccccdd; */
.toc {
  margin : 1em 2em;
  width : 90%;
  border : solid #999;
  border-width : 1px;
  font-size : 90%;
  font-family : Helvetica, Arial, sans-serif;
}

div.s3 {
  padding : 0em 1em;
}

/* background: #e5d1ac; */
div.example-body {
  margin : 1em 2em;
  padding : 0em 1em;
  width : 87.5%;
  border : solid #999;
  border-width : 1px;
  background : #e5d1ac;
  color : black;
  font-family : monospace;
  font-size : .9em;
}

div.results {
  margin : 1em 2em;
  padding : 0em 1em;
  width : 87.5%;
  border : solid #999 1px;
  color : black;
  font-family : monospace;
  font-size : .9em;
}

div.definition-body {
  margin : 1em 2em;
  padding : 0em 1em;
  width : 87.5%;
  border : solid #999;
  border-width : 1px;
  background : #f1f1f2;
  color : black;
  font-family : monospace;
  font-size : .9em;
}

.schema-title {
  margin-left : 1.3em;
  font-weight : bold;
  font-family : Helvetica, Arial, sans-serif;
  color : #666666;
  text-align : left;
  font-size : 120%
}


.def-caption {
  margin-left : 1.3em;
  font-weight : bold;
  font-family : Helvetica, Arial, sans-serif;
  color : #666666;
  text-align : left;
  font-size : 120%
}

.caption {
  margin-left : 1.3em;
  font-weight : bold;
  font-family : Helvetica, Arial, sans-serif;
/*  color : #990033; */
/*  color : #4c2004; */
  color : #555;
  text-align : left;
  font-size : 120%
}

/* blue body #12037a: HSV: 248, 90, 48 */
/* red body #98012e: HSV: 342, 99, 60 */

table.deftable {
  margin : 1em 0em 1em 1.6em;
  border : solid 1px #333;
  width : 90%;
  border-collapse : collapse;
}

caption {
  padding : 0.3em 0em;
  font-weight : bold;
  font-family : Helvetica, Arial, Helvetica, sans-serif;
/*  color : #990033; */
  color : #666;
  text-align : left;
  font-size : 120%
}

table.deftable th {
  text-align : left;
  background : white;
  font-family : Arial, Helvetica, sans-serif;
  font-variant : small-caps;
  font-weight : normal;
  font-size : 85%;
/*
  border-top : 1px solid  #fab41d;
  border-bottom : 1px solid #fab41d;
  */
  border-top : 1px solid  #666;
  border-bottom : 1px solid #666;

  color : #666;
  padding : 0.3em 0.3em;
}

table.deftable td {
  padding : 0.1em 0.3em;
}

table.deftable tr.a {
  background : #eee;
}

table.deftable tr.b {
  background : #f8f8f8;
}

/* XXX: netscape ignores
caption {
  font-size : 10em;
}
*/

/*
.example {
  background : #ffeecc;
  color : black;
  font-family : monospace;
  font-size : .9em;
}
*/

.example-smaller {
  background : #ffeecc;
  color : black;
  font-family : monospace;
  font-size : smaller;
}

span.example {
  background : #ffeecc;
  font-family : monospace;
  color : black;
  font-size : .9em;
}

.egcolor {
  background : #ffeecc;
  color : black;
}

.screenshot {
  background : silver;
  color : black;
}

.green {
  color : black;
  background : #99ffdd; /* 00ffdd, bbff99, ddffcc, ccffee, ffccdd */
}

.eg-em {
/*  color : #0044cc; */
  color : #003399;
/* aa00ff, ff0055; 0044cc, 8800cc, cc0044, 0055ff */
}

.badexample {
  color : red;
}

.result {
  background : #ffccdd;
  color : black;
  font-family : monospace;
  font-size : .9em;
}

.warn {
  color : #ff0055;
}

.todo {
  color : green;
}

code {
  font-family : monospace;
}

.meta {
  font-style : italic;
  color : #003399;
}

div.leftnav {
  margin-left : .75em;
}

div.selected {
	background-color : #e5d1ac;
  padding-left : 2px;
  padding-top : 1px;
  padding-bottom : 1px; 
}

div.not-selected {
  padding-left : 2px;
  padding-top : 1px;
  padding-bottom : 1px;
}

div.not-selected:hover {
  background-color: yellow;
}

ul.none {
  list-style : none
}

div.atoc-top {
  margin : 0;
}

div.atoc-1 {
    padding : 5px;
    margin : 0.5em;
}

div.atoc-2 {
    padding : 5px;
    margin : 0.5em;
}

div.atoc-3 {
    padding : 5px;
    margin : 0.5em;
}

div.atoc-4 {
    padding : 5px;
    margin : 0.5em;
}

div.atoc-top > div {
    font-size : large;
    font-weight : bold;
    background : #ccddff;
    padding : 5px;
    margin : 0.5em;
}

div.reference-parents > span.child-of {
  font-weight : bold;
}

div.javadoc > span.javadoc {
  font-weight : bold;
}

div#reference-legend {
  position : fixed; 
  bottom : 0; 
  right : 0; 
  border : solid 1px #fdba31;
  background : #fef3dd;
}

div#popup {
  position : absolute;
  top : 0px;
  left : 0px;
  border : solid 1px #fdba31;
  background : #fef3dd;
  display : none;
  overflow : auto;
  padding : 1em;
}

div.note {
  background-color : #fef3dd;
  min-height : 65px;
  border : solid 1px #fdba31;
  padding : 1em;
  margin : 1em 1em;
  width : 87.5%;
}

div.note > div.note-header {
  font-weight : bold;
  font-size : 1.1em;
}

div.note > img.note {
  float : left;
  padding-right : 1em;
  padding-bottom : 1em;
}

div.pro {
  font-style : italic;
}