@charset "UTF-8";

body {
	margin: 0px;
	padding: 0px;
	font-size: 14px;
}

div.problembox{
	width: 220;
	padding: 5px;
}

div.termtitle {
	font-family: "Courier New", "Courier", "mono";
	font-style: normal;
	font-weight: bold;
	margin: 7px 0px 2px 0px;
}

div.separation {
	font-family: "‚l‚r ‚oƒSƒVƒbƒN", "Osaka";
	margin: 10px 0px;
}

div.description {
	font-family: "Courier New", "Courier", "mono";
	line-height: 120%;
	margin-left: 25px;
}

div.marker {
	font-family: "Courier New", "Courier", "mono";
	line-height: 120%;
	float: left;
	width: 25px;
}

span.unit {
	font-family: "Courier New", "Courier", "mono";
	line-height: 120%;
	font-weight: bold;
	margin-left: 15px;
}