.bordered {
	border-style: solid;
	border-color: black;
	border-width: 1px;
}

.inset {
	margin-left: 1em;
	margin-right: 1em;
	padding: 0.25em;
}

body {
	font-family: Helvetica, Arial, sans-serif;
}

.note {
	color: red;
	font-weight: bold;
}

table.navig {
	margin-top: 0.75em;
}