.key-term{
	font-family:courier new;
	font-weight:bold;
	font-style;italic;
	font-size:small;
}

.code-div{
	border-style:inset; 
	background-color:white;
	padding:10px;
}

body{
	
}

.comment{
	background-color:#eeeeee;
	border-style:solid;
	border-width:2px;
	margin:10px;
	padding:5px;
	width:750px;
}

.comment-header {
	font-weight:bold;
}