@charset "utf-8";

pre {
	color: #ff0000;
	font-weight: bold;
	font-size: 16px;
	border: solid 1px #000000;
}

pre.green {
	color: #009900;
}

pre.blue {
	color: #0000ff;
}

a {
	color: #0000ff;
	text-decoration: underline;
}
a:hover {
	background-color: #3399ff;
	text-decoration: none;
