/* Core styles */
body { 
	font-family: Trebuchet MS, Arial, Helvetica, sans-serif; 
	color: black;
	background: #fff;
	margin: 0;
	padding: 0;
} 

a, a.noactive:visited { 
	color: #00a;
}
a:visited { color: #a0a; }

h1 {
	font-size: 1.5em;
	font-weight: bold;
	display: block;
	background-color: #00f;
	color: #fff;
	padding: 0.75em;
	/* Doesn't work in IE6/7 with width set. Stupid IE. */
	margin: -2em 0 0 -2em;
	width: 75%;
	border: 2px solid #111;
}

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

h3 {
	font-size: 1em;
	font-style: italic;
}

p {
	margin: 1em 0 0 0;
}

table {
	border-collapse: collapse;
	margin: 1em 0;
}

th,td {
	border: 1px solid #666;
	padding: 0.3em;
}

/* Main page structure inc. nav & footer */

div#main {
	border: 1px solid #666;
	padding: 1.5em;
	margin: 2.5em;
	background: #eeeeff
}

div#topnav {
	width: auto;
	border: 1px solid black;
	background-color: white;
	padding: 0.5em;
	margin: 0 0.5em 0.5em 0;
}
div#topnav a, div#topnav a:visited {
	color: #00a;
	text-decoration: none;
}
div#topnav a:hover {
	text-decoration: underline;
}
div#topnav ul {
	display: inline;
	padding: 0;
	margin: 0;
}
div#topnav li {
	display: inline;
	margin: 0 1em 0 0;
}

.footer {
	font-size: 0.9em;
	text-align: right;
	font-style: italic;
	border: 1px solid #ccc;
	border-width: 1px 0 0 0;
	padding: 1em;
	margin: 0;
	background-color: #eee;
}

div.breadcrumb {
	font-size: 90%;
	font-style: italic;
	margin: -2em 3em 1em 3em;
}

/* Standard inline styles */

code {
	display: block;
	background: #ddd;
	padding: 1em;
	margin: 1em;
	font-family: monospace;
}


div.info {
	border: 2px dotted blue;
	background-color: red;
	padding: 0.5em;
	color: white;
	font-weight: bold;
	margin: 0.5em 0;
	font-size: 120%;
}

div.info a:visited {
	color: blue;
}