/* SSHDOC Style Sheet for IE4 - last updated 1-22-99 */


	body  	{  font-size: 70%; font-family: Verdana, Arial, Helvetica; line-height: 135%; Z-INDEX: 1 }
		
	h1		{  font-size: 160%; font-family: Verdana, Arial, Helvetica; }

	h2		{  font-size: 150%; font-family: Verdana, Arial, Helvetica; }

	h3		{  font-size: 130%; font-family: Verdana, Arial, Helvetica; }
		
	h4		{  font-size: 110%; font-family: Verdana, Arial, Helvetica; }

	h5		{  font-size: 95%; font-family: Verdana, Arial, Helvetica; }
		
	table	{  border="2"; cellspacing="4"; cellpadding="4"; background: #FFFFFF; font-size: 100%; }

	th		{  background-color: rgb(214,222,231); }

	td		{  background-color: rgb(239,239,239); }
	
	big		{  font-weight: bold; 
			font-size: 105%;  }
						
	code	{  font-family: Courier; 
			font-size: 100%; }

	pre		{  font-family: Courier; 
			font-size: 125	%; background-color: rgb(231,247,255); padding-left: 10; }

	dt.actions	{ color: #ff6666; }

	dd.actions	{ MARGIN-BOTTOM: 2em; MARGIN-LEFT: 2em; MARGIN-TOP: 1em }
				
	dt.props	{ color: #00309c; }

	dd.props	{ MARGIN-BOTTOM: 2em; MARGIN-LEFT: 2em; MARGIN-TOP: 1em }
	
	DT.nested	{ FONT-WEIGHT: bold; MARGIN-BOTTOM: 0.4em; MARGIN-LEFT: 1em; MARGIN-TOP: 1em }
	
	DD.nested	{ FONT-WEIGHT: normal; MARGIN-LEFT: 1em }
	
	A:link
	{
	    COLOR: #00309c;
	}
	A:visited
	{
	    COLOR: #00309c;
	}
	A:active
	{
	    COLOR: #ff3300;
	}
	A:hover
	{
	    COLOR: #ff3300;
	}

	DIV.actions
	{
	    BACKGROUND-COLOR: #f0f0f0;
	    MARGIN: 0.5em;
	    OVERFLOW: visible;
	    PADDING-BOTTOM: 20px;
	    PADDING-LEFT: 10px;
	    PADDING-RIGHT: 10px;
	    PADDING-TOP: 2px;
	    WIDTH: 100%;
	    Z-INDEX: 1;
	}
	
	DIV.props
	{
	    BACKGROUND-COLOR: #f0f0f0;
	    MARGIN: 0.5em;
	    OVERFLOW: visible;
	    PADDING-BOTTOM: 10px;
	    PADDING-LEFT: 10px;
	    PADDING-RIGHT: 10px;
	    PADDING-TOP: 10px;
	    WIDTH: 100%;
	    Z-INDEX: 1;
	}

	P.clear-graphic
	{
	    PADDING-TOP: 10px;
	    margin-bottom: 0.7em;
	}

	P.indent
	{
	    MARGIN-LEFT: 1.5em;
	    text-indent: -1.5em;
	}
	
	p.rel-link
	{
	    margin-top: 0.5em; margin-bottom: 0.5em;
	}
	
	li
	{
	    margin-top: 6;
	    margin-bottom: 6;
 	    line-height: 135%;
	}
	
	
	
	
