body {
	font-size:	10pt;
	font-family:	arial,sans-serif,lucida,verdana,helvetica;
}

table {
	font-size:	10pt;
}

.shrink {
	font-size: 80%
}

div.figure {
	background: #ffffcc;
	float: right;
	border-style: solid;
	border-width: 1px;
	border-color: #cccccc;
	margin: 0.5em;
	padding: 0.1em;
}
div.figure p {
	text-align: center;
	font-style: italic;
	font-size: smaller;
	text-indent: 0;
}