body {
    width: 800px;
    margin: auto;
}

.title {
    font-weight: bold;
}

.errata {
	font-size: small;
}

.extra-info {
	font-size: small;
}