HR               { font-size: 12pt ; margin: 0pt  0.1em  0.1em  0.1em ; border: thin solid ; border-left-width: 0; border-right-width: 0; border-top-width: 0; font-family: Times New Roman,serif;  }

BODY             { font-family: Verdana, Arial, Helvetica, sans-serif; 
                   font-size:10pt; 
                   color:#222233; }
                   
.Normal          { font-size: 10pt ; margin: 0pt  1px  0pt  0pt ; font-family: Courier New,monospace;  }
.emphid          { color: #000055; }
.declaration     { color: #000055; font-family: Courier New,monospace;}
.classid         { color: #000055; font-family: Courier New,monospace;}
.parameter       { font-family: Courier New,monospace; font-weight: bold;}
.P               { font-size: 12pt ; margin: 0.1em  0.1em  6pt  0.1em ; font-family: Times New Roman,serif;  }
PRE              { font-size: 9pt ; margin: 0pt  1px  0pt  0pt ; color: #258585; font-family: Courier New,monospace;  }
PRE.declaration  { font-size: 10pt ; margin: 0pt  1px  0pt  0pt ; color: #000055; font-family: Courier New,monospace;  }
.TT1             { font-family: Courier New,monospace;  }
.tbldeclare      { font-family: Arial,sans-serif; font-size: 10pt; width=100%; color: #333333; background-color: #FAEFE2; cell-spacing: 2px; cell-padding: 8px; }
.tblheader       { font-family: Arial,sans-serif; font-size: 10pt; width=100%; color: #333333; background-color: #E8EFF4; cell-spacing: 0px; cell-padding: 8px; }

.keywords        { color: #E6E6ED; }

.tblexample      { font-family: Arial,sans-serif;
                   font-size: 10pt; width=100%;
                   color: #222233;
                   background-color: #E6E6ED;
                   cell-spacing: 2px;
                   cell-padding: 8px; }
                   
table.image      { font-size:10pt; font-family:Arial;
                   text-align:center;
                   align:center;
                   padding:0px; border:0;
                   background-color:#FFFFFF;
                   text-indent:0px;
                   cell-spacing:0px;
                   cell-margin:0px; }
td.image         { border:0; color:#000080;
                   text-align:center;
                   cell-spacing: 0px;
                   font-size:8pt; background-color:#FFFFFF;}
td.simulation    { border:0; color:#001E64;
                   text-align:center;
                   font-size:8pt; background-color:#80B0E0; }
.dmoz            { font-family: Arial,sans-serif; 
                   font-size: 10pt;
                   background-color:#336600; }

.tblsimple       { font-family: Arial,sans-serif; 
                   font-size: 10pt; 
                   border-color: #F0E8FF; 
                   color: #333333; 
                   background-color: #F0E8FF; 
                   cell-spacing: 0px; 
                   cell-padding: 4px; }
.tbldefinition   { font-family: Verdana, Arial, sans-serif;
                   font-size: 10pt;
                   font-weight: bold;
                   width=100%;
                   color: #333333;
                   background-color: #B0C7E0;
                   cell-spacing: 6px;
                   cell-padding: 8px; }
.tblhint         { font-family: Arial,sans-serif;
                   font-size: 10pt;
                   width=100%;
                   color: #333333;
                   background-color: #B0C7E0;
                   cell-spacing: 6px;
                   cell-padding: 8px; }
                   
.hint            { font-family: Microsoft Sans Serif;
                   font-size: 8pt;
                   color: #004080; 
                   background-color: #C0CFE8; 
                   cell-spacing: 1px; 
                   cell-padding: 8px; }
.headhint        { font-family: Microsoft Sans Serif;
                   font-size: 10pt;
                   color: #004080; 
                   background-color: #B0BFD8; 
                   cell-spacing: 1px; 
                   cell-padding: 8px; }                   

.exmpl            { font-family: Microsoft Sans Serif;
                   font-size: 8pt;
                   color: #404040; 
                   background-color: #cccccc; 
                   cell-spacing: 1px; 
                   cell-padding: 8px; }
.headexmpl       { font-family: Microsoft Sans Serif;
                   font-size: 10pt;
                   color: #404040; 
                   background-color: #bbbbbb; 
                   cell-spacing: 1px; 
                   cell-padding: 8px; }                   

td.navig           { font-family: Microsoft Sans Serif;
                   font-size: 8pt;
                   color: #E0EBF6; 
                   background-color: #011345; 
                   cell-spacing: 0px; 
                   cell-padding: 8px;
                   border:0px solid #2D5163;
                   }
table.navig           { font-family: Microsoft Sans Serif;
                   font-size: 8pt;
                   color: #E0EBF6; 
                   background-color: #2D5163; 
                   cell-spacing: 0px; 
                   cell-padding: 8px;
                   }
.headprm         { font-family: Microsoft Sans Serif;
                   font-size: 10pt;
                   color: #804000; 
                   background-color: #D8BFB0; 
                   cell-spacing: 1px; 
                   cell-padding: 8px; }
a:link           { color:#505B70; text-decoration:underline; }
a:visited        { color:#505B70; text-decoration:underline; }
a:hover          { color:#AA6688; text-decoration:underline; }
a.navig:link     { color:#FED462; text-decoration:none; font-weight:bold; }
a.navig:visited  { color:#FED462; text-decoration:none; font-weight:bold; }
a.navig:hover    { color:#FA514E; text-decoration:none; font-weight:bold; }
.tbllist         { font-family: Arial,sans-serif; font-size: 10pt; text-align:left;
                   border-right:1px solid #FFFFFF;
                   border-bottom:1px solid #FFFFFF;
                   background-color:#FFFFFF }
td.head          { background-color:#FFDAC1 }
td.list          { background-color:#F8E2CE }
td.clear         { background-color:#F0E8FF }

table            { font-family: Verdana, Arial, Helvetica, sans-serif; 
                   font-size:10pt; 
                   color:#222233; }

td.head          { background-color:#80B0E0;
                   font-weight: bold;
                   font-color: #404040 }
.term            { font-style:italic;}
.image           { text-align:center; 
	   font-family:Arial, Helvetica, sans-serif;
	   font-size:12px;
	   color:#0000CC }
.formula         { font-family: Verdana, Arial, Helvetica, sans-serif; 
                   font-size:10pt;
                   text-align:center; }
.theorem         { background-color: #ddccaa;
	   font-color: #403020;
	   margin-left: 8px;
	   padding: 8px;
	   margin-right: 8px; }
.definition      { background-color: #AABBFF;
	   margin-left: 8px;
	   padding: 8px;
	   margin-right: 8px; }
.proof           { border: 10px groove #ccffcc; background-color:#CCFFCC; }
.warning         { background-color: #EF9F9F;
	   margin-left: 8px;
	   padding: 8px;
	   margin-right: 8px; }

td.data          { font-family: Microsoft Sans Serif; 
                   font-size: 8pt;
                   color: #FFFFFF; 
                   background-color: #59677D; 
                   cell-spacing: 0px; 
                   cell-padding: 8px;
                   border:0px solid #59677D;
                   }
table.data       { font-family: Microsoft Sans Serif;
                   font-size: 8pt;
                   color: #FFFFFF; 
                   background-color: #59677D; 
                   cell-spacing: 0px; 
                   cell-padding: 8px;
                   margin-right: 8px;
                   }