/* publications.css */
h1.title {
	font-weight: bold;
	font-size: 150%;
	text-align: center;
	color: green;
}
h2 {
	font-weight: bold;
	font-size: 125%;
};
h3 {
	font-weight: bold;
	font-size: 125%;
}
p.toc_lev_1 {
	margin-left: 1em;
	margin-bottom: 0px;
	padding-bottom: 0px;
}
p.toc_lev_2 {
	margin-left: 3em;
	margin-top: 0px;
	margin-bottom: 0px;
	padding-top: 0px;
	padding-bottom: 0px;
}
p.toc_lev_3 {
	margin-left: 5em;
	margin-top: 0px;
	margin-bottom: 0px;
	padding-top: 0px;
	padding-bottom: 0px;
}
img.cover {
	margin: 8px;
	float: left;
}
hr {
	clear: both;
}