/* Block styles */
#main {
 margin-left: 1cm;
 margin-right: 1cm;
}
BODY {
 background-color: #FFFFFF;
 color: black;
}
PRE.listing, DIV.example {
 margin-left: 0.5cm;
 margin-right: 0.5cm;
 border: solid 2px #003000;
}
/* #main P {
 text-indent: 0.5cm;
 text-align: justify;
} */


/* Text styles */
A:link { color: #669900}
A:visited { color: #336600 }
A:active { color: #3333CC }

/* Headings */
H1 { font: bold 24pt Arial, Helvetica, sans-serif; margin-top: 0em;}
H2 { font: bold 16pt helvetica, arial, sans-serif; }
H3 { font: bold italic 14pt helvetica, arial, sans-serif; }

/* Navigation stuff */
DIV.wrPath { font: bold 12pt Arial, Helvetica, sans-serif; }
DIV.navigation { position: relative }
DIV.wrPath { position: absolute; top: 0; left: 0; }

/* Code listings & inline code */
PRE.listing {
 background-color: #E0E0E0;
 white-space: pre;
 font-family: monospace;
}

CODE {
 font-family: Courier, fixed;
 color: #000000;
}
.element { color: #BB0000 }
.attribute { color: #880000 }
.syntax { color: #888888 }
.value { color: #440000 }
.property { color: #880000 }

/* Element summaries */

TD.elProperty { background-color: #E0DD06 }
TD.elValue { background-color: #00A000 }
TD.elAttributeRef { background-color: #00A000; font-style: italic; }
TD.elAttribute { background-color: #00A000; }
TD.elAttType { background-color: #00A000; }
TD.elAttMeaning { background-color: #00A000; }

/* Property summaries */

TD.propHead { background-color: #E0FF08; font-weight: bold; text-align:
right; }
TD.propName { background-color: #E0FF08; color: #00A0A0; }
TD.propAttr { background-color: #E0FF08; text-align: right; }
TD.propAttV { background-color: #F0FFB0; }

/* Table of contents */
TH.toctit, TH.tocpg { background-color: #E0DD06; }
TD.tocsno, TD.tocsto, TD.tochto, TD.tocpno { background-color: #E0FFE0; }
TD.tocsne, TD.tocste, TD.tochte, TD.tocpne { background-color: #FFFFE0; }
TD.tochto, TD.tochte { text-indent: 1.5cm; }

/*
Primary colors:
Link Green, 00A000 = 0, 160, 0
Deco Yellow, FFFF00 = 255, 255, 0
Dark Green, 06E006 = 6, 224, 6
Dark Yellow, E0DD06 = 224, 221, 0
 */