body {
	margin: 0 20px 20px;
	width: auto;
}
#paper {
	margin: 0 auto 20px;
	max-width: 50em;
}
h1 {
	text-align: center;
}
h2[id]:hover:after, h3[id]:hover:after, h4[id]:hover:after, h5[id]:hover:after, h6[id]:hover:after {
	content: ' #' attr(id);
	font-size: 0.7em;
	font-weight: normal;
	color: #999;
	vertical-align: top;
}

a {
	color: blue;
}
a.onpage {
	color: green;
}

div.meta {
	text-align: center;
	margin: 2em 0 3em;
}

p.publication-note {

}
.heading {
	font-family: Palatino, "Palatino Linotype", Times, "Times New Roman", serif;
	font-weight: bold;
	margin-right: 0.5em;
}
.heading-follow {
	display: none;
}
.heading-follow-clause {
	text-transform: capitalize;
}

ol#contents {
	margin-top: 1em;
}
ol#contents,
ol#contents ol {
	list-style-type: none;
}
ol#contents li li {
	font-size: 0.9em;
}
ol#contents a {
	text-decoration: none;

}

.definition {
	font-style: italic;
}

ol#changelog {
	list-style-type: none;
}
ol#changelog .changelog-date {
}