<?php
session_start();
include ("docs/db.php");
if (!empty($_GET["a"]))
{
	$page = $_GET["a"];
}
else
{
	$page = "browse";
}
if (isset($_SESSION["logged"]))
{
	if ($_SESSION["logged"]==true)
	{
		$user = $_SESSION["user"];
		$logged = true;
	}
	else
	{
		$logged = false;
	}
}
else
{
	$user = "";
	$logged = false;
}
if (!empty($_GET["logout"]))
{
	$_SESSION["logged"]=false;
	$_SESSION["user"]="";
	echo "<script type='text/JavaScript'>this.location='?a=browse';</script>";
}
?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
<head>
<meta http-equiv="Content-Type" content="application/xhtml+xml;charset=ISO-8859-1" />
<title>The Reason Dump</title>
</head>
<body>
<div id="container">
The Reason Dump
<div id="menu">
<a href="?a=browse">Browse</a> - <a href="?a=dump">Dump</a> - <a href="?a=faq">FAQ</a> - <a href="?a=rules">Rules</a>
<?php
	if ($logged){
		printf (" - <a href='?logout=1'>Log Out</a>");
	}
?>
</div>
<br />
<div id="main">
	<?php
	include("docs/" . $page . ".php");
	?>
</div>
</div>
</body>
</html>