body			{
					font-size: 9pt;
					font-family: verdana, arial, helvetica, sans-serif;
					color: #cc3333;
					background-color: #ffffff;
					margin-left: 0px;
					margin-right: 0px;
					margin-top: 0px;
				}
table			{
					font-size: 8pt;
					color: #000000;
					font-family: verdana, arial, helvetica, sans-serif;
					}
td				{
					font-size: 8pt;
					color: #cc3333;
					background-color: #ffffff;
					font-family: verdana, arial, helvetica, sans-serif }
p				{ 
					font-size: 8pt;
					color: #cc3333;
					margin-left: 10px;
					margin-right: 10px;
					font-family: verdana, arial, helvetica, sans-serif }
div				{
					font-size: 8pt;
					color: #000000;
					font-family: verdana, arial, helvetica, sans-serif }
a:visited		{
					color: #cc6666
				}
a:link			{
					color: #996666
				}
a:active		{
					color: #c00
				}

.message		{
				   font-family: courier;
				   font-size: 8pt;
				   font-weight: normal;
				   font-family: Lucida Console, monospace;
				   background-color: #EEEEEE;
				   padding: 0.25cm;
				   border-style: solid;
				   border-width: 1px;
				   border-color: #CCCCCC
				}

.titleshot		{
					font-size: 18pt;
					weight: bold;
					font-family: verdana, arial, helvetica, sans-serif;
					color: #cc3333;
					background-color: #ffffff;
					margin-left: 0px;
					margin-right: 0px;
					margin-top: 0px;
				}
             
h1				{
					font-size: 24px;
					weight: bold;
					color: #993333;
					font-family: verdana, arial, helvetica, sans-serif;
				}
h2				{
					font-size: 18px;
					weight: bold;
					color: #993333;
					margin-left: 10px;
					font-family: verdana, arial, helvetica, sans-serif;
				}
h3				{
					font-size: 14px;
					weight: bold;
					color: #cc3333;
					font-family: verdana, arial, helvetica, sans-serif;
					margin-left: 5px;
				}
.small			{ font-size: 10px;  color: red; font-family: verdana, arial, helvetica, sans-serif }
.large			{ font-size: 18px; color: red; font-family: verdana, arial, helvetica, sans-serif }
.black			{
					background-color: #000000
				}
.darker			{
					background-color: #3366cc
				}
.dark			{
					background-color: #3366cc
				}
.medium			{
					background-color: #cccccc
				}
.medium2		{
					background-color: #ADAFFB
				}
.light			{
					background-color: #eeeeee
				}
.lightyellow	{
					background-color: #fdf8d4
				}
.lighteryellow	{
					background-color: #fdf8d4
				}
.white			{
					background-color: #ffffff
				}

span.comment       { color: #800000 }
span.stringliteral { color: #002080 }

.code
{
	font-family:	courier-new, courier;
	weight:			bolder;
	color:			#000000;
}