body {
	font-family: sans-serif;
	font-size: small;
}

div.quote1 {
	margin: 20px;
	margin-bottom: 0px;
	font-size: 90%;
}

div.quote2 {
	margin: 20px;
	margin-top: 0px;
	border: 1px solid silver;
	background: #F0F0F0;
}

div.quote2_code {
	margin: 20px;
	margin-top: 0px;
	border: 1px solid silver;
	background: #F0F0F0;
	font-family: monospace, sans-serif;
	font-size: 90%;
}