/*** top page ***/
#input_text textarea {
	width: 320px;
}

div.input_form {
	margin: 0;
	padding: 10px;
	border-left: none;
}

#content ol>li {
	padding: 0 0 20px 0;
}

#content p,pre {
	padding: 0 0 12px 20px;
}

#how_to_use {
	font-size: 95%;
	border: dotted 1px #000;
	width: 520px;
	padding: 10px;
	margin-left: 30px;
	float: right;
	border: dotted 1px #000;
}
