BODY	{font-size:"10pt"; 

		font-family:"Verdana,Arial, Helvetica,sans-serif";
		font-weight:"light";
		color:"#000000";
		text-align:"left";
		margin-top: 4pt;
		margin-bottom: 4pt;
		margin-left: 8pt;
		margin-right: 8pt;
		padding: 4pt;
		border-top: none;
		border-bottom: none;
		border-left: none;
		border-right: none;
		}



	P, UL, OL	{font-size:"10t"; 

		font-family:"Verdana, Arial, Helvetica,sans-serif";

		font-weight:"light";

		color:"#000000";

		text-align:"left";}



	TABLE	{font-size:"10pt"

		font-family:"Verdana,Arial, Helvetica,sans-serif";

		font-weight:"light";

		color:"#000000";

		text-align:"left";}	



	ALT	{font-size:"9pt"; 

		font-family:"Verdana,Arial, Helvetica,sans-serif";

		font-weight:"light";

		color:"#000000";

		text-align:"left";}	



	PRE	{font-size:"10pt"; 

		font-family:"Courier New";

		font-weight:"light";

		text-align:"left";}



	EM	{font-style:"italic";}



	STRONG	{font-weight: "bold";}

	

	H1 	{font-size:"24pt";

		font-weight:"bold"; 

		font-family:"Verdana,Arial,Helvetica,sans-serif"; 

		text-align:"left";

		color:"#990000";}



	H2 	{font-size:"15pt";

		font-weight:"bold"; 

		font-family:"Verdana,Arial,Helvetica,sans-serif"; 

		text-align:"left";

		color:"#990000";}



	H3 	{font-size:"13pt"; 

		font-weight:"bold"; 

		font-family:"Verdana,Arial,Helvetica,sans-serif";

		text-align: "left";

		color:"#990000";}



	H4 	{font-size:"11pt"; 

		font-weight:"bold";

		font-family:"Verdana,Arial,Helvetica,sans-serif";

		text-align:"left";

		color:"#990000";}



	H5 	{font-size:"9pt"; 

		font-weight:"light";

		font-family:"Verdana,Arial,Helvetica,sans-serif";

		text-align:"left";

		color:"#990000";}





<h1>.logo {

font-family: "Comic Sans MS";

font-size: "24pt";

text-indent: "0pt";

text-align: "Left";

font-weight: "bold";

width: "24pt";

margin: 24pt 24pt 24pt 32pt;

padding: 18pt 18pt 18pt 18pt;

}



FONT.navbar {

font-family: "Verdana,Arial, Helvetica,sans-serif";

font-size: "9pt";

text-align: "Left";

white-space: "NoWrap";

font-weight: "bold";

width: "9pt";

background: url fixed;

margin: 2pt 2pt 2pt 2pt;

padding: 2pt 2pt 2pt 2pt;

}



<font>.italic {

font-family: "Verdana,Arial, Helvetica,sans-serif";

font-size: "10pt";

text-align: "Justify";

font-style: "italic";

width: "12pt";

margin: 10pt 10pt 12pt 12pt;

padding: 10pt 10pt 12pt 12pt;

}



<font>.normalserif {

font-family: "Times New Roman";

font-size: "10pt";

line-height: "12pt";

text-align: "Justify";

font-weight: "bold";

width: "12pt";

height: "12pt";

margin: 12pt 12pt 12pt 12pt;

padding: 12pt 12pt 12pt 12pt;

}



<p>.spaced {

margin: 8pt 8pt 8pt 8pt;

padding: 8pt 8pt 8pt 8pt;

}



<H2>.logo {

font-family: "Comic Sans MS";

font-size: "18pt";

text-indent: "12pt";

text-align: "Left";

font-weight: "bold";

width: "18pt";

margin: 2pt 2pt 12pt 8pt;

padding: 2pt 2pt 2pt 2pt;

}



div.example {

    width: 100%;

    color: black;

}

div.dtd-example {

    width: 100%;

    color: black;

}

tt.example {

    color: maroon;

    margin-left: 1em;

}

pre {

    color: maroon;

    margin-left: 1em;

}

div.dtd-fragment {

    width: 100%;

    border: none;

    background-color: #eee;

}

pre.dtd-fragment {

    margin-left: 0;

}

pre.dtd {

    color: black;

    margin-left: 0;

}

div.illegal-example {

    width: 100%;

    color: red;

    border: solid red;

}

div.illegal-example p {

    color: black;

}

div.deprecated-example {

    width: 100%;

    color: red;

    border: solid rgb(255,165,0); /* orange */

}

div.deprecated-example p {

    color: black;

}

div.note {

    color: green;

    margin-left: 1em;

}

p.note {

    color: green;

    margin-left: 1em;

}

ul.toc {

    list-style-type: none;

}



a.normref { 

    color : red;

}	



a.informref {

    color : green;

}	



DIV.subtoc {padding: 1em; border: solid thin; margin: 1em 0;

    background: #ddd}



A.propdef-title {

    background-color: yellow

  }



  A.descdef-title {

    color: yellow;

    background-color: green

  }