body {
	background-color: #ffffff; color: #000;
	font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 80%;
	margin: 8px 8px 0px 8px;
}

a:link    { color: #888888; }
a:hover   { color: gray; }
a:visited { color: #888888; }

/* Logo */

#logo p.title {
	font-size: 1.8em; font-weight: bold; font-style: italic;
	margin: 0.7em 0 0 0;
}

#logo p.subtitle {
	font-size: 2.4em; font-weight: bold; color: #105050;
	margin: -0.4em 0 0.75em 1.9em;
}

/*
#logo p.subtitle {
	font-size: 1.83em; font-weight: bold; color: #105050;
	margin-top: -0.22em 0 0.85em 2.05em;
}
*/

/* Navigation */

#navigation {
	position: absolute; top: 0; left: 7px;
	width: 11.5em;
	margin-left: 0.5em;
}

#navigation ul {
	margin: 0; padding: 0; list-style: none; 
	background-image: url("navstripe.png");
	background-repeat: no-repeat;
	background-position: top right;
}

#navigation li { margin: 0 0 0.75em 0; padding: 0; }

#navigation a {
	color: black;
	text-decoration: none;
	padding-left: 18px;
}

#navigation a:hover {
	color: gray;
	background-image: url("arrow.png");
	background-repeat: no-repeat;
	background-position: center left;
}

/* Content */

#content {
	margin-left: 14em;
	max-width: 40em;
}

#content h1 { font-size: 1.5em; font-weight: bold; margin-top: 2.25em; margin-bottom: 1.3em; }
#content h2 { font-size: 1.5em; font-weight: bold; margin-top: 1em; margin-bottom: 1em; }
#content h3 { font-size: 1.1em; font-weight: bold; margin-top: 1em; margin-bottom: 1em; }
#content h4 { font-size: 1em; font-weight: bold; margin-top: 1em; margin-bottom: 1em; }

/* XHTML footer */

#footer {
	margin-top: 2em;
	text-align: right;
}

#footer div.button { float: right; margin-left: 18px; margin-bottom: 5px; }

#footer img { border: 0; }

/* Classes */

div.quote
{ margin-left: 2em; }

pre.code
{ margin-left: 2em; }

span.code
{ font-family: Courier New, Courier, monospace; white-space: pre; }