<?php
$datum = (isset($update)? $update : gmdate("Y-m-d", filectime($filename)));
$aktuelle_seite = $_SERVER["PHP_SELF"];
?>

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
   "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
  <title><?php print $titel; if ($titel != "Vlado Weltweit") print " - Von Vlado Weltweit"; ?></title>
  <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
  <meta name="date" content="<?php print $datum ?>">
<?php
if($lang == "df") $css = "div, p, li, h1, h2 {font-family:'Alte Schwabacher',Gothik,Fraktur; } p, li, h1, h2 { font-size:large; } h1 {font-size:200%;} h2 {font-size:150%;} $css";
if(isset($css)){ print " <style type=\"text/css\"><!-- " . $css . " //--></style>\n"; }
?>

</head>

<body>

<div class="page">

<h1 class="title"><?php print $titel ?></h1>

<?php
if ($lang == "df")
   echo str_replace("dass", "daß", $text);
else
  echo str_replace("ſ", "s", $text);
?>

</div>

</body>
</html>