/*
  p { color:black; font-family:Arial; font-size:140%; font-weight:normal; } 
  */
  
 	p { 
 		font-size:100%; 
 		font-family:times; 
 	}
 	
 	#nav_text { 
 		font-size:100%; 
 		font-family:times; 
 		color:blue; 
 	}
     
	h1 { 
		color:black; 
		font-family:times; 
		font-size:24pt; 
		font-weight:bold; 
	}
	
	h2 { 
		color:black; 
		font-family:times; 
		font-size:18pt; 
		font-weight:bold; 
	}
	
	table { 
		font-size:100%; 
		font-family:times;
	}
		
	td  { 
		font-size:100%; 
		font-family:times;
	}
  
	#page_header { 
		color:black; 
		font-family:times;
		font-size:24pt;
		font-weight:bold; 
	}
  
	#show_whitespace {
		white-space:pre; 
		font-family:times; 
		font-size:100%; 
		font-weight:normal;
	}