@charset "utf-8";
/* CSS Document */

pre {
	background-color: #EEEEEE;
	overflow: auto;
	border: solid 1px #990000;
	padding: 5px;
}

pre:hover {
	background-color: #DDDDDD;
}