<?php
//start output buffering
ob_start();
//initialize a session
session_start();
?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<!-- DW6 -->
<head>
<!-- Template Copyright 2005 Macromedia, Inc. All rights reserved. -->
<!-- Copyright 2010 The MITRE Corporation -->
<!-- This file is part of PhenoDB. -->
<!-- PhenoDB is free software: you can redistribute it and/or modify -->
<!-- it under the terms of the GNU General Public License as published by -->
<!-- the Free Software Foundation, either version 3 of the License, or -->
<!-- (at your option) any later version. -->
<!-- PhenoDB is distributed in the hope that it will be useful, -->
<!-- but WITHOUT ANY WARRANTY; without even the implied warranty of -->
<!-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -->
<!-- GNU General Public License for more details. -->
<!-- You should have received a copy of the GNU General Public License -->
<!-- along with PhenoDB. If not, see <http://www.gnu.org/licenses/>. -->
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1" />
<title><?php print ($page_title); ?></title>
<link rel="stylesheet" href="../css/2col_leftNav.css" type="text/css" />
</head>
<body>
<div id="masthead">
<h1 id="siteName">PhenoDB</h1>
<div id="globalNav"> <a href="../pheno/index.php">Home</a> |
<?php
//display links based upon login status
if (isset($_SESSION['users_id']) AND (substr($_SERVER['PHP_SELF'], -10) != 'logout.php')) {
print '<a href="../accounts/logout.php">Logout</a> | <a href="../accounts/change_password.php">Change Password</a> | <a href="../accounts/account_edit.php?id='.$_SESSION['users_id'].'">Edit Account</a> ';
} else {//not logged in.
print '<a href="../accounts/login.php">Login</a> | <a href="../accounts/account_reg.php">Register</a> | <a href="../accounts/forgot_password.php">Forgot Password?</a> ';
}
?>
</div>
</div>
<!-- end masthead -->
<div id="content">
<br />
<h2 id="pageName"><?php print ($page_title); ?></h2>
<div class="story">
<h3>