a, a:visited {
	color: #000000;
	font-weight: bold;
	text-decoration: none;
	border-bottom: 1px dotted #000066;
}
a:hover, a:visited:hover {
	border: none;
}
pre {
	margin-left: 50px;
	margin-right: 50px;
	padding: 10px;
	border: 2px dashed #000088;
	background-color: #e0eeff;
	overflow: scroll;
}