div.user_comment {
	border: 1px dotted black;
	margin-bottom: 2em;
	padding: 4px;
}
div.user_comment div {
	padding: 5px;
}
div.user_comment p.header {
	margin: 2px 0;
}
div.user_comment p.dateLine {
	margin-top: 0;
	font-size: 8pt;
	color: #a0a0a0;
}