
code 	{ font-size: 85% }
pre 	{ font-family: monospace; font-size: 85%; } 

ul.toc 	{ list-style-type: none }
.space  { width: 0.5em; }
.sup    { vertical-align: super; font-size: 80%; }
.sub    { vertical-align: sub;   font-size: 80%; }
.bgXsd 	{ background-color: #EDEDED; } 
.bgOwl 	{ background-color: #FFFF99; } 
.egOwl  { background-color: #FFFF99; padding:0.5em; 
          margin-left:1em; margin-right:1em; 
          margin-top:0.5em; margin-bottom:0.5em; }
.egLabel { margin-left:1.5em; font-size:smaller; }

.center { text-align:center; }
.tt 	{ font-family: monospace; }  
.bold 	{ font-weight:bold; } 
.boldred { color:red; font-weight:bold; } 
.boldnavy { color:navy; font-weight:bold; } 
.note 	{ background: #FFCCCC; }  /* #FFFF66; */
div.note { margin-left:2em; margin-right:2em; 
           margin-top:1em; margin-bottom:1em; } 

td.full { background: #CCCCFF; } /* #FF6666 */
td.dl   { background: #99FF99; } /* #FF9999 */
td.lite { background: #FFFFCC; } /* #FFCCCC */ 
.log dt { font-weight:bold; } 

p.dateRight {
	/* font-size:smaller; */ 
	text-align:right; 
	margin:0em; margin-right:1em; 
}

/* ------------------------ */
.attr { color:Maroon; font-size:95%; }
.elementName { font-size:12pt; background:#FFFFCC; color:#000000; } 
.elementHeader { vertical-align:top; width:10%; font-size:11pt; color:#808080; } 
.elementTable { font-size:10pt; width:600px; }
.elementInnerTable { width:520px; } 
.elementInnerTable th { text-align:left; width:10%; }

/* ------------------------ */
div.exampleOuter { 
	border: 4px double gray;
	margin-top:1em; 
	margin-bottom:1em; 
} 
div.exampleHeader { 
	/* font-weight: bold; */ 
	margin: 4px; 
} 
div.exampleInner { 
	/* background-color: #d5dee3; */ 
	border-top-width: 4px;
	border-top-style: double;
	border-top-color: #d3d3d3;
	border-bottom-width: 4px;
	border-bottom-style: double;
	border-bottom-color: #d3d3d3;
	padding: 4px; 
	margin: 0em; 
}
div.exampleInner pre { 
	margin-left: 1em; 
	margin-top: 0em; 
	margin-bottom: 0em; 
}
div.exampleWrapper { margin: 4px } 

/* ------------------------ */
