body {
	width: 1024px;
}

div.contents {
	border:blue solid 1px;
	width:95%;
	background-color:#FFFAD0;
	margin:10px 10px 10px 10px;
	padding:5px 5px 5px 5px;
}

span.tagname{
	font-size:x-large;
	font-weight:bolder;
}

div.summary{
	margin:10px 10px 10px 10px;
}

div.wrap{
	text-align:center;	
}
div.attribute{
	width:90%;
	margin-left:auto;
	margin-right:auto;
	margin-top:10px;
	margin-bottom:10px;
}

div.description{
	margin:10px 10px 10px 10px;
	padding-top:10px;
	padding-bottom:10px;
	background-color:#DFDC70;	
}

th{
	white-space:nowrap;
	border: 1px solid black;
	background-color:#F9E066;
	padding:5px 5px 5px 5px;
}

table{
	border: 1px solid black;
	border-collapse:collapse;
}

td{
	border: 1px solid black;
	padding:5px 5px 5px 5px;
}

pre {
	border: 1px solid black;
	background-color:#ffffff;
	width:80%;
	text-align:left;
}