/* comments.css - comments page styles */

/* title */
h1
{
	margin: 12px 0 6px 42px;
	font-size: 17px;
	font-weight: bold;
	font-family: arial, sans-serif;
	color: rgb(153,0,0);
}

/* paragraph */
p
{
	padding: 3px 0 2px 0;
}

/* comment list */
dl
{
	margin: 10px 60px 0 24px;
}

/* quotation style */
dt
{
	padding: 0 10px 0 20px;
	font-size: 13px;
	font-family: "times new roman", times, serif;
}

/* source style */
dd
{
	margin: 0;
	padding: 4px 0 10px 30px;
	font-style: italic;
	font-size: 12px;
	font-family: arial, sans-serif;
}

/* 'back-to-top style override */
.bktop
{
	margin: 10px 0 20px 42px;
}