function Header(title)
{
	document.writeln('<link rel="stylesheet" href="style.css" type="text/css">');
	document.writeln('<head>');
	document.writeln('	<title>Pandev - ' + title + '</title>');
	document.writeln('</head>');
	document.writeln('<body bgcolor="#37547c" text="#FFFFFF" link="#a08f6b" vlink="#a08f6b">');
	document.writeln('	<p align=center>');
	document.writeln('		<a href="http://www.jeffboody.net/pandev/doc/readme.php"><img src="../images/pandev-linux.png"></img></a>');
	document.writeln('		<br/>');
	document.writeln('		A complete development environment for the Pandora game system');
	document.writeln('		<br/>');
	document.writeln('		<br/>');
	document.writeln('		<a href="readme.php">Readme</a> *');
	document.writeln('		<a href="documentation.php">Documentation</a> *');
	document.writeln('		<a href="http://www.jeffboody.net/pandev/doc/download.php">Download</a>');
	document.writeln('	</p>');
	document.writeln('	<hr>');
	document.writeln('<h2 align=center><em>' + title + '</em></h2>');
}

function Footer()
{
	document.writeln('	<hr>');
	document.writeln('	<p align=center>');
	document.writeln('		&copy; 2008 Jeff Boody');
	document.writeln('	</p>');
	document.writeln('	<p align=center>');
	document.writeln('		<script type="text/javascript"><!--');
	document.writeln('		google_ad_client = "pub-6327966873625125";');
	document.writeln('		/* Pandev Linux, 728x90 */');
	document.writeln('		google_ad_slot = "4772538725";');
	document.writeln('		google_ad_width = 728;');
	document.writeln('		google_ad_height = 90;');
	document.writeln('		//-->');
	document.writeln('		</script>');
	document.writeln('		<script type="text/javascript"');
	document.writeln('		src="http://pagead2.googlesyndication.com/pagead/show_ads.js">');
	document.writeln('		</script>');
	document.writeln('	</p>');
	document.writeln('</body>');
}

// Be careful with "code" with special characters
// Replace first with second
// < : &lt;
// > : &gt;
// ' : \'
// \ : \\'
function Code(line, width, code)
{
	document.write('<pre class="code">');
	for(var i in code)
	{
		var line_string = line.toString();
		while(line_string.length < width) line_string = line_string + ' ';
		document.writeln('<font color=\'#FFFF00\'>' + line_string + '</font>' + code[i]);
		++line;
	}
	document.writeln('</pre>');
}

function BeginComment()
{
	document.writeln('<table cellspacing=0 cellpadding=3>');
}

function Comment(line, text)
{
	document.writeln('<tr><td><font color=\'#FFFF00\'>' + line + '</font></td><td>' + text + '</td></tr>');
}

function EndComment()
{
	document.writeln('</table>');
}



