html,
body {
	font-family: sans-serif;
	font-size: 13px;
	color: #fff;
	background: #555;
}


div#header
{
	margin: 10px;
	background: #444;
	color: #fff;
	padding: 10px;
	border: 1px solid #000;
}

h1 {
	font-size: 250%;
	margin: 0 0 .5em 0;
	color: #ffa0a0;
}

p#error-message
{
	font-weight: bold;
	margin: 0 0 .5em 0;
	color: #ffffae;
}

p#error-message a
{
	color: #98fb98;
}

pre
{
	font-family: monospace;
	background: #333;
	padding: 10px;
	border: 1px solid #000;
	overflow: auto;
	line-height: 1.3em;
}

code
{
	display: block;
	font-family: monospace;
	margin: 1em 0;
	line-height: 1.2em;
}

span.source-line
{
	position: relative;
	display: block;
	height: 1.6em;
	line-height: 1.6em;
	padding-left: 4em;
}

span.odd-line
{
	background: #393939;
}

span.hilight-line
{
	background: #666;
}

span.php-keyword
{
	color: #ffffae;
	font-weight: bold;
}

span.php-name
{
	color: #98fb98;
}

span.php-variable
{
	color: #ffa0a0;
}

span.php-comment
{
	color: #87ceeb;
}

span.line-number
{
	background: #222;
	position: absolute;
	top: 0;
	left: 0;
}

span.hilight-line span.line-number
{
	font-weight: bold;
	background: #ffa0a0;
	color: #000;
}

div.section
{
	margin: 10px;
	padding: 10px;
	border: 1px solid #000;
	background: #444;
}

h2
{
	font-size: 130%;
	color: #98fb98;
	margin: 0 0 .75em;
}

h3
{
	color: #BCE9FF;
	font-size: 115%;
	margin: 2.5em 0 .7em 0;
}

ul
{
	margin-top: 1em;
}

li
{
	line-height: 1.4em;
}

a
{
	color: #FFFFAE;
	text-decoration: none;
}

a:hover
{
	text-decoration: underline;
}

li div.source pre
{
	margin: 10px 0;
}

li pre.args
{
	margin: 10px 0 2em 0;
}