p {
	font-size: 80%;	
}

p.title {
	align: center;
	font-size: 100%;
}

pre {	
	font-family: Verdana,Tahoma,Helvetica,sans-serif;	
}

ul {
	list-style-type: square;
	font-size: 80%;	
}

ol {	
	font-size: 80%;	
}

ol.nested {	
	font-size: 100%;	
}

a.revised {	
	color: red;
}

p.revised {
	font-size: 80%;
	color: red;
}

pre.revised {
	font-family: Verdana,Tahoma,Helvetica,sans-serif;	
	color: red;
}

ul.revised {
	list-style-type: square;
	font-size: 80%;	
	color: red;
}

a.casestudy {	
	color: navy;
}

p.casestudy {
	font-size: 80%;
	color: navy;
}

pre.casestudy {
	font-family: Verdana,Tahoma,Helvetica,sans-serif;	
	color: navy;
}

ul.casestudy {
	list-style-type: square;
	font-size: 80%;	
	color: navy;
}