BODY	{ bgcolor: white;
	  margin-top: 6;
	  margin-left: 6; }

h1      {       font-family: Tahoma, Helvetica, Charter, sans-serif;
                font-size: 200%;
		color: #990000;
		text-align: center;
        }

h2	{	font-family: Tahoma, Helvetica, Charter, sans-serif;
                font-size: 140%;
                color: black;
                text-align: left;
	}
h2.center {
		text-align: center;
	}

h3	{
		font-family: Tahoma, Helvetica, Charter, sans-serif;
                font-size: 110%;
		font-weight: bold;
                color: black;
                text-align: left;
		margin-bottom: 3;
	}

h3.cmd	{	color: #990000;
 	}	

h4	{	font-family: Tahoma, Helvetica, Charter, sans-serif;
                font-size: 100%;
                color: black;
	}

h5	{	font-family: Tahoma, Helvetica, Charter, sans-serif;
		font-size: 90%;
		color: black;
		font-weight: bold;
	}

code 	{	font-family: Courier, Courier New, sans-serif;
	}
code.bold {
		font-weight: bold;
	  }
div.sans	{
		font-family: Tahoma, Helvetica,Charter,sans-serif;
		font-size: 100%;
		color: black;
		text-align: left;
		margin-bottom: 15;
	}

div.rightsans	{
		font-family: Tahoma, Helvetica, Charter, sans-serif;	
		font-weight: bold;
		font-size: 90%;
		color: black;
		text-align:right;
		}

hr.leftbar	{
		margin-top: 0;
		margin-bottom: 2;
		text-align: left;
		vertical-align: top;
		width: 188;
		}

td.revheader	{	font-family: Tahoma, Helvetica, Charter, sans-serif;
			font-weight: bold;
			font-size: 90%;
			color: white;
			background-color: #990000;
			text-align: center;
		}

td	{
		font-family: Garamond, Times, Times New Roman, serif;
		vertical-align: top;
		font-size: 90%
	}		

td.sans	{
		font-family: Tahoma,Helvetica,Charter,sans-serif;
		vertical-align: top;
		font-size: 80%;
	}

td.aright {
		text-align: right;
		font-family: Tahoma,Helvetica,Charter,sans-serif;
		font-size: 70%;
	  }

td.leftpagebar {
		font-family: Tahoma,Helvetica,Charter,sans-serif;
                vertical-align: top;
                font-size: 80%;
		color: white;
		font-weight: bold;
		background-color: #999999
		}

td.sans_red {
                font-family: Tahoma,Helvetica,Charter,sans-serif;
                vertical-align: top;
                font-size: 80%;
		background-color: #990000;
		color: white;
        }

td.sans_yellow {
                font-family: Tahoma,Helvetica,Charter,sans-serif;
                vertical-align: top;
                font-size: 80%;
		background-color: yellow
        }


a.leftbar	{
			color: white;
			text-decoration: none;
		}

pre		{
			font-size: 80%;
		}

pre.toowide	{
			font-size: 75%;
		}