Miscellany

<?php session_start();

function loggedin() {
   if (isset($_SESSION['Logged_In'])) {
    return true;
   }

} 

?>

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<title>Test</title>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<link href="layout.css" rel="stylesheet" type="text/css">
</head>
<body>
<div id="holder">
<div id="header">
    <h1>Tester</h1>
</div>
<div id="navigation">
    <a href="index.php" title="Home">Home</a>
    <a href="cat.php" title="Cat">Cat</a>
<?php if (loggedin()) { ?>
       <a href="logout.php" title="Log Out">Log Out</a>
<?php } else {?>
 <a href="loginform.php" title="Login">Login</a>
<?php } ?> 
</div>
<div id="status">

<?php
include("functions.php");
</div>
<div id="content">