@charset "utf-8";

div#attention {
	background-color: #ff0000;
	color: #ffffff;
	padding: 20px;
	margin 10px;
	font-weight: bold;
	font-size: 250%;
}

div.gray {
	background-color: #e0e0e0;
	color: #000;
	margin: 8px 0 0 0;
	padding: 8px;
}

pre {
	color: #000;
	font-weight: bold;
	margin: 0 0 20px 0;
	padding: 8px;
}

pre#red {
	background-color: #fcc;
	color: #f00;
}

pre#green {
	background-color: #cfc;
	color: #090;
}

pre#blue {
	background-color: #9cf;
	color: #00f;
}
img {
	border-style: none;
}

a {
	color: #00f;
	text-decoration: underline;
}
a:hover {
	color: #fff;
	background-color: #39f;
	text-decoration: none;
}
ul.game li {
	font-weight: bold;
}