@charset "UTF-8";

body {
	font-size:76%;
	font-family: lucida grande, helvetica, arial, sans-serif;
}

pre {
	font-size: 1.2em;
}

input, .result, .choice
{
	font-size: 1.4em;
}

.choice
{
	margin-bottom: 5px;
}

.label
{
	margin-top: 10px;
	font-weight: bold;
}

.correction
{
	text-decoration: line-through;
}

#main
{
/*	float: left; */
}

#sidebar
{
	float: right;
	width: 250px;
	padding-left: 10px;
	border-left: dotted 1px #999;
}

#result_area
{
	padding-bottom: 20px;
	border-bottom: dotted 1px #999;
	margin-bottom: 20px;
}

.note
{
	margin: 0 50px 25px 50px;
	color: #555;
}