div.header div {
	font-size: 1.75em;
	font-weight: bold;
	}

h1 {
	font-size: 1.5em;
	font-weight: bold;
	}

h2 {
	font-size: 1.25em;
	font-weight: bold;
	}

ul.sections {
	display: none;
	}

.hide {
	display: none;
	}

div.footer {
	float: right;
	border-top: 1px solid black;
	padding-left: 2em;
	padding-right: 0.5em;
	font-size: 0.75em;
	}

div.code-title {
	font-family: monospace;
	border: 1px dotted #99A;
	margin-bottom: -1px;
	padding: 0.5em;
	padding-top: 0.1em;
	padding-bottom: 0.1em;
	}

pre.code {
	font-family: monospace;
	padding: 0.5em;
	border: 1px dotted #99A;
	margin-top: 0px;
	}

div.image {
	text-align: center;
	}

div.image img {
	border: 3px double black;
	display: inline;
	}

div.images {
	clear: both;
	display: block;
	padding: 0.2em;
	}

div.images div.image {
	float: left;
	margin: 0.3em;
	}

div.images div.image img {
	display: block;
	border: 3px double black;
	}

div.image div.caption {
	text-align: center;
	margin: 0.1em;
	font-size: small;
	}

div.images div.end {
	clear: both;
	}