body {
	background: rgb(158, 182, 255);
	color: black;
	width: 100%;
	margin: 0;
}

a:link {
	color: black;
}

a img {
	border: none;
}

a:visited {
	color: black;
}

a:hover {
	background-color: #9eb6ff;
}

font.hidden {
	color: rgb(196, 215, 255);
}

dl dt {
	padding: 1em 0em 0.2em;
}

div#links a {
	display: block;
}

div#links a.l1 {
	margin-top: 0.2em;
}

div#links a.l2 {
	margin-top: 0.7em;
	}

div#header h1 {
	font-size: 14px;
	background-color: rgb(196, 215, 255);
	letter-spacing: 0.6em;
	margin: 0;
	padding: 0.7em 1em 0.5em 2em;
	border-bottom: thin solid black;
}

div#content h2 {
	font-size: 18px;
}

div#content h3 {
	font-size: 15px;
}

div#content img.miau {
	float: right;
	padding: 1em;
}

div#links {
	position: absolute;
	/* Doesn't fix problem with wide fonts, but makes fife a bit easier. */
	width: 8em;
	top: 2.5em;
	left: 0;
	margin: 1em;
	padding: 0.2em 0.5em 0.7em;
	border: thin dotted black;
	background-color: rgb(196, 215, 255);
}

div#content {
	margin: 1em 1em 1em 11em;
	padding: 1em;
	background-color: rgb(196, 215, 255);
	border: thin solid black;
}

div#footer {
	margin: 0.2em 0em 0.2em;
	padding: 0.3em;
	border-top: thin solid black;
	font-style: italic;
	font-size: 12px;
}

div.tip {
	margin: 1em 1em 0em 4em;
	padding: 0em 0em 0em 1em;
	border-left: medium dotted black;
}

pre {
	border: solid thin black;
	background: white;
	color: black;
	font-family: monospace;
	font-size: 80%;
	padding: 0.4em;
	margin: 1em 0em 1em 2em;
}

tt {
	background-color: rgb(215, 232, 255);
}
	

div.faq-q {
	font-weight: bold;
}

div.faq-a {
	margin-top: 0.4em;
	margin-bottom: 1em;
}

a.strike {
	text-decoration: line-through;
}