content/header.php

   1 <?php
   2
   3         printf ("<!DOCTYPE HTML PUBLIC '-//W3C//DTD HTML 4.01 Transitional//EN' 'http://www.w3.org/TR/html4/loose.dtd'>\n ");
   4
   5         if (!isset($_SESSION["LoggedOn"]))
   6         {
   7                 $Current_Theme = $Default_Theme;
   8
   9         }
  10
  11 ?>
  12
  13         <html>
  14
  15                 <head>
  16
  17                 <link rel="stylesheet" type="text/css" href="<?php
  18
  19                 // is a user prefered stylesheet set?
  20
  21                         if (isset($_POST["theme"]))
  22                         {
  23                                 $Current_Theme = $_POST["theme"];
  24                                 $Current_ThemePath = "$Current_Theme";
  25                                 $_SESSION["theme"] = $Current_Theme;
  26
  27                         }
  28
  29                 if (isset($_SESSION["theme"]))
  30                 {
  31                         // It has. Use the users prefered stylesheet.
  32                         $Current_Theme = $_SESSION["theme"];
  33                                 $Current_ThemePath = "$Current_Theme";
  34                                 printf ("styles/$Current_Theme/" . $Current_Theme . ".css");
  35                 }
  36
  37                 else
  38                 {
  39                         if (!isset($_POST["theme"]))
  40                         {
  41                                 // Defaults_Theme
  42                                 $Current_Theme = $Default_Theme;
  43                                 $Current_ThemePath = $Current_Theme;
  44                                 printf ("styles/$Default_Theme/" . $Default_Theme . ".css");
  45                         }
  46                 }
  47
  48                  ?>" />
  49                         <title><?php echo $SITE_TITLE; ?></title>
  50
  51                 </head>
  52
  53
  54                 <body>
  55
  56
  57 <?php
  58                                                 echo "<div id='top'>";
  59
  60 include ("styles/$Current_Theme/logo.html");
  61 echo "</div>";
  62
  63 ?>