body{
	margin: 20px 20px;
}
a{
	color: #0000CD;
    text-decoration: none;
}
hr{
	height: 1px;
	border: none;
	border-top: 1px dashed #000;
}
pre{
	border: 1px solid #000;
	padding: 10px;
	width: 800px;
	overflow: auto;
	line-height: 150%;
	background-color: #F7F7F7;
	font-family: monospace;
}
p{
	text-indent: 2em;
}
.infos > ul,
.links > ul{
	margin-left: 1em;
}
.usages > ul,
.usages > ol{
	margin-left: 3em;
}
.usages > pre{
	margin-left: 4em;
}