/* Colour settings for publications section  - indigo */
body#discussion div.colmid, body#discussion div.colleft, body#discussion div.colright {
	background-color: rgb(225,232,230);
}
body#discussion h1, body#discussion h2, body#discussion h3, body#discussion #topmenu a.publications {
	color: rgb(13,61,140);
}
body#discussion .col2 li, body#discussion .col2 a {
	background-color: rgb(13,61,140);
	color: rgb(225,232,230);
}

ol.commentlist li {background-color:#eee;padding:0.5em;margin-bottom:0.25em;}
ol.commentlist li.odd {background-color:#fff;}
ol.commentlist cite {font-size:110%;font-weight:600;}
ol.commentlist small {font-size:95%;}
form#commentform {
	padding:5px 5px 5px 15px;
	background-color:#ddd;
	border:1px solid #999999;
	width:33em;
	margin:0 auto;
	}
/*textarea#comment {width:530px;}*/