body {
	font-family: Arial;
	max-width: 800px;
	margin-right: auto;
	margin-left: auto;
}

.headerlink {
	display: none;
}
.note {
	background-color: #d7d7d7;
	padding: 2px 16px 2px 16px;
}

.admonition-title {
	text-decoration: underline;
}