pre {
	font-size : 11px;
	color: #000077;
#	border : 1px inset #fffdf3;
#	background-color: #f0dfb3;
#	padding: 1em;
#	margin-left:5em;
#	margin-right:5em;
}

div.dlink {
	text-align: right;
	font-size: 12px;
}

div.dlink a {
	color: green;
}