body {
	text-align: justify;
}
h1 {
	text-align: center;
}
h2 {
	margin-bottom: -0.2em;
}
h3 {
	margin-bottom: -0.4em;
}
dt {
	font-weight: bold;
	margin-left: 0.5em;
}
dd {
	margin-bottom: 0.5em;
	margin-left: 1.5em;
}
#subtitle {
	text-align: center;
	font-size: large;
	font-style: oblique;
	font-weight: bold;
	margin-top: -0.7em;
}
#author {
	text-align: center;
	font-weight: bold;
	font-size: larger;
	font-style: oblique;
	text-decoration: underline;
	margin-top: 1.5em;
}
#contents {
	display: table;
	margin: auto;
	font-size: large;
}
#contents h3 {
	text-align: center;
	margin-bottom: -0.5em;
}
#navigation {
    border-top: thin solid;
    margin-top: 2em;
    padding-top: 0.5em;
}
#navigation a {
    display: block;
}
a[rel=Prev] {
    float: left;    
}
a[rel=Next] {
    float: right;    
}
a[rel=Contents] {
    width: 4em;
    margin: auto;
    text-align: center;
}