00001 <?xml version="1.0" encoding="UTF-8"?>
00002 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
00003 "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
00004 <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
00005 <head>
00006 <title><?php print $document->title() ?></title>
00007 <meta name="Generator" content="<?php print $document->version("full")?>" />
00008 <style type="text/css" media="screen">
00009 @import url("<?php print $theme ?>css/layout.php");
00010 @import url("<?php print $theme ?>css/content.php");
00011 </style>
00012 </head>
00013 <body>
00014 <!-- Header bar -->
00015 <div id="header">
00016 <?php print $document->logo()?>
00017 <span id="title"><?php print $document->header()?></span>
00018 <span id="about"><?php print $document->about()?></span>
00019 <span id="sign"><?php print $document->signinout(SIGN_TYPE_WIDE) ?></span>
00020 <span id="failed"><?php print $document->failedSignIn() ?></span>
00021 <span id="navigation"><?php print $document->navigation(NAVIGATION_STYLE_IMAGES|NAVIGATION_TYPE_WIDE|NAVIGATION_STYLE_NUMERIC)?></span>
00022 </div>
