<style type="text/css">



	body { 
	}


	body { 
		margin-left: 10%; 
		margin-right: 10%; 
		color: black; 
		background: white;
	}


	h1,h2,h3,h4,h5,p,ul { 
		font-family: sans-serif; 
	}


	h1,h2,h3 { 
		margin-left: -8%; 
		margin-top: 1.5em; 
		margin-bottom: 0.5em; 
	}


	h4,h5,h6 { 
		margin-left: -4%;
		margin-top: 1em;
	}


	h4.code { 
		margin-top: 1em;
		margin-left: -4%; 
		color: #003399; 
		font-family: monospace;
		font-weight: bold;
	}

	pre { 
		font-family: monospace; 
	}


	code {
	        font-family: monospace;
		color: #003399;
	}


	p.tip {
	        font-style: italic;
	        text-align: center;
	}


	div.codebox { 
		border: solid;
		border-width: thin;
        	border-color: black;
	        width: 100%; 
        	background: #f0f0f0; 
	        color: #003399; 
        	font-family: monospace;
	        padding: 0.5em;
		margin-top: 1em;
	}


	h1.title {
		text-align: right; 
		color: black;
		margin-top: 1em; 
		margin-bottom: 1em;        
        	font-size: 250%;
	        padding-right: 0.5em;
	        border-left: none;
        	border-right: solid;
        	border-top: none;
	        border-bottom: none;
        	border-right-width: thick;
	        border-color: red;
	}



</style>
