@charset "utf-8";
/* CSS Document */
body
{
	width:800px;
    margin:0px auto;
    margin-top:35px;
	font-size:22px;
}
h1
{
	font-size:22px;
}
ol
{
	list-style-type:upper-roman;
}
.revision
{
	font-size:14px;
}