@charset "utf-8";
div p {
font-weight:bold;
font-size: 200%;
margin: 0;
}
code {
	white-space:pre;
	font-size: 110%;
	border: 1px solid #EEE;
	display:block;
	padding: 10px;
	background-color: #F6F6F6;
}