html {
	height: 100%;
}

body {
	font: 20pt "VT323", monospace;
	height: 100%;
}

h1, h2, h3, h4, h5, h6 {
	font-variant: small-caps;
	padding-bottom: 1em;
}

p {
	padding-bottom: 1em;
}

pre {
	display: inline;
	white-space: pre-wrap;
	word-wrap: break-word;
}

dd {
	padding-bottom: 1em;
}

#top-margin {
	position: fixed;
	top: 0;
	width: 100%;
	height: 1em;
	z-index: 2;
}

#bottom-margin {
	position: fixed;
	bottom: 0;
	width: 100%;
	height: 1em;
	z-index: 2;
}

#invisible-things {
	position: fixed;
	bottom: -100px;
	z-index: 1;
}

#page {
	margin: auto auto;
	width: 80%;
	min-height: 100%;
}

#page > div:first-child {
	padding-top: 1em;
}

#page > div:last-child {
	padding-bottom: 1em;
}

#ie-error {
	display: none;
}

img.float-right {
	float: right;
	margin-left: 2ch;
	max-width: 50%;
	height: auto;
}

img.float-left {
	float: left;
	margin-right: 2ch;
	max-width: 50%;
	height: auto;
}

img.initial {
	float: left;
	margin-right: 0.5ch;
	max-width: 50%;
	height: auto;
}

img.stand-alone {
	float: none;
	width: 100%;
	height: auto;
}

.centered {
	text-align: center;
}

p.no-padding {
	padding-bottom: 0;
}

.blink {
	animation: blinkAnim 1.5s step-start infinite;
}