body {
	background-color: gray;
	padding: 0;
	margin: 0;
}

p {
	color: black;
	background-color: white;
	width: 850px;
	padding: 1em;
	margin-left: 10px;
	
	border: 1px solid black;
	border-bottom: 5px solid black;
	border-right: 5px solid black;
}

p.filename {
	color: white;
	font-size: 18pt;
	background-color: #292929;
	font-family: arial, sans-serif;
	font-weight: bold;
	padding: 5px 1em 5px 1em;
	text-align: center;
}

p.file {
	white-space: pre;
	font-family: "Lucida Console", serif;
	font-size: 10pt;
}




/* Navigation Bar */

div.nav {
	color: black;
	font-size: 12pt;
	background-color: #555555;
	font-family: arial, sans-serif;
	font-weight: bold;
	padding: 5px;
	border-bottom: 5px solid black;
}

/* Links */
a:link, a:visited, a:active {
	text-decoration: none;
	color: orange;
	font-weight: bold;
}
a:hover {
	color: #00c400;
}
a.current:link, a.current:visited, a.current:active {
	text-decoration: none;
	color: yellow;
}
a.current:hover {
	color: #00c400;
}

/* Color Spans */
span.gray   { color: gray;    }
span.orange { color: orange;  }
span.yellow { color: yellow;  }
span.unique { color: #908858; }
span.magic  { color: #4850B8; }
span.blue   { color: blue;    }
span.comment {
	color: green;
	font-style: oblique;
	white-space: pre;
}