body {
	width: 96%;
	background: navy;
	font-family: "DejaVu Sans", "Verdana", sans-serif;
}

.content {
	width: 90%;
	max-width: 44em;
	margin-right: auto;
	margin-left: auto;
	padding: 1em;
	padding-top: 0.5em;
	padding-bottom: 0.5em;
	background: white;
	border-color: gray;
	border-style: solid;
	border-width: 0.2em;
	color: black;
}

.code {
	width: 90%;
	margin-top: 1em;
	margin-left: auto;
	margin-right: auto;
	padding: 0 1em;
	border-color: gray;
	border-style: dotted;
	border-width: 0.2em;
	font-family: monospace;
}

h1 {
	text-align: center;
}

table {
	width: 90%;
	margin-left: auto;
	margin-right: auto;
}

td {
	padding: 0.5em;
}

th {
	background: gray;
	color: white;
}

p.list {
	display: list-item;
	list-style: circle;
	margin: 1.5em 1em 0 1em;
}

img {
	display: block;
	margin-left: auto;
	margin-right: auto;
}

a img {
	border: none;
}

.note {
	width: 96%;
	font-size: 90%;
	border-width: 0.03em;
	border-style: solid;
	border-color: black;
	padding: 0.5em 1em 0.5em 1em;
	margin-left: auto;
	margin-right: auto;
}

.note h2 {
	font-size: 110%;
	text-align: center;
}

.underlined {
	border-bottom-style: solid;
	border-bottom-color: navy;
	border-bottom-width: 0.02em;
}

.sidebar {
	font-size: smaller;
	width: 15em;
	margin: 0.5em 0 0.5em 0.5em;
	padding: 0 0.5em 0 0.5em;
	float: right;
	background: white;
	margin-right: -8em;
	border-style: solid;
	border-color: navy;
	border-width: 0.15em;
}

.first_line_indent {
	text-indent: 1.5em;
}

dt {
	padding-top: 0.3em;
}

dd {
	padding-bottom: 0.3em;
}