/* CSS for DocBook HTML output. By Steve Hoenisch. */

body { background-color: whitesmoke; 
       font-size: 90%; font-family: Helvetica, Arial, sans-serif; 
       font-style: normal;
      	margin: 1em 5% 1em 5%;
       }  

/* ================

lw lightblue= #4E8ABE
lw darkblue= #083EBl

========================== */




/* ========================================== 
================= */
 
a:link	{color: #083EB1; text-decoration: underline; }
a:active	{color: blue; text-decoration: none; }
a:visited	{color: darkslateblue; text-decoration: underline; }
a:hover    {color: blue; text-decoration: underline;  }

/* ========================================== */
	
h1 { color: black; 	font-family: Helvetica, Arial, sans-serif; font-weight: bold; font-size: 170%;  }


h2 { font-size:130%; font-family: Helvetica, Arial, sans-serif; font-style:normal; font-weight: bold; color: navy; }
	


h3 { font-size:125%; font-style:normal; font-family: Helvetica, Arial, sans-serif; font-weight: none;  color: navy; } 
	

h4 { font-size:100%; font-family: Helvetica, Arial, sans-serif; font-style:normal; font-weight: bold; color: #4E8ABE; 
border-top-style:solid;
border-width:1px; }


h5 { font-size:100%; font-family: Helvetica, Arial, sans-serif; font-style:normal; font-weight: lighter; color: #4682B4; }


h6 { font-size:90%; font-family: Helvetica, Arial, sans-serif; font-weight: bold; font-style: italic; }


/* ========================================== */

	


p {  }
 


	
	
table { font-size: 100%; font-family: Helvetica, Arial, sans-serif; }

tr { font-size: 100%; font-family: Helvetica, Arial, sans-serif; }

td { font-size: 100%; font-family: Helvetica, Arial, sans-serif; }  






/* INLINE ELEMENTS */ 

	strong { }  
	kbd  {  }  			
	cite  { } 
	code {  } 




/* span for small caps on em element: */
.smcaps {
    font-size: 0.8em;
    text-transform: uppercase;
}



/* NEW 6/17/2010 2:09PM +body margin above */ 

pre { } 

.screen {
    padding: 1ex;
    background-color: #E1EBF2;
    border: 1px solid #8AADCB;
} 
/* screen bg was  #eee; border was #ccc */

.informalexample {
    padding: 1ex;
    color: #eeeeec;
    background-color: black;
    -webkit-border-radius: 6px;
    -moz-border-radius: 6px;
    border-radius: 6px;
    max-width: 100ex;
}

.command {
    font-family:Courier; 
    padding: 1ex;
    background-color: #AEC8DB; 
    border: 1px solid #505050;
}

/* background-color: light lw nav menu=8AADCB #8bafcd   #B0C4DE; cmd was #D8D8D8; */


table, th, td
{
border: 1px solid #888888;
border-collapse: collapse;
}






/* ================

lw lightblue= #4E8ABE
lw darkblue= #083EBl

========================== */