html, body
{
	background: white;
	color: black;
}

body
{
	font-family: sans-serif;
}

a:link { color: #086; text-decoration: none }
a:visited { color: #064; text-decoration: none }
a:hover { text-decoration: underline }

dt { font-weight: bold }
dd { margin-bottom: 1em }

table
{
	/*width: 90%;*/
	margin-left: auto;
	margin-right: auto;
	border-collapse: collapse;
}

th, td
{
	border-style: solid;
	border-width: thin;
	padding: 0.5em;
	vertical-align: bottom;

	/* necessary for IE */
	border-color: #000;
}

#header
{
	width: 80%;
	margin-left: 8%;
	margin-right: 8%;
	padding 2%;
	text-align: left;
}

#content
{
	width: 80%;
	margin-left: 8%;
	margin-right: 8%;
	padding: 2%;
	text-align: left;
}

#quicklinks
{
	margin-bottom: 2em;
	text-align: center;
	word-spacing: 3em;
	font-weight: bold;
}

#quicklinks a
{
	word-spacing: 0.2em;
}

#contact
{
	width: 80%;
	margin-left: 8%;
	margin-right: 8%;
	padding: 2%;
	text-align: left;
}

#bottom
{
	width: 80%;
	margin-left: 8%;
	margin-right: 8%;
	padding: 0% 2% 2% 2%;
	text-align: right;
}

div.screencaps { text-align: center; }

div.screencaps img { margin-top: 1em; }

.cmd {
	font-family: monospace;
	font-weight: bold;
}

span.code {
	font-family: monospace;
	color: #00a;
}

pre.code {
	background-color: #eee;
	color: #00a;

	/*margin-left: 1%;
	margin-right: 1%;*/
	border-style: solid;
	border-width: thin;
	padding: 1% 1% 1% 1%;

	/* necessary for IE */
	border-color: #ccc;
}