1 <!DOCTYPE html PUBLIC
"-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
2 <html<?php echo $direction ?>>
5 <meta name=
"keywords" content=
"moodle, <?php echo $title ?> " />
6 <title
><?php
echo $title ?></title>
7 <link rel=
"shortcut icon" href=
"<?php echo $CFG->themewww .'/'. current_theme() ?>/favicon.ico" />
8 <?php
include("$CFG->javascript"); ?>
14 echo " onload=\"setfocus()\"";
19 <div id=
"robotux"></div>
21 <?php //Accessibility: 'headermain' is now H1, see theme/standard/styles_layout.css: .headermain
22 if ($home) { // This is what gets printed on the home page only
24 <div id=
"header-home" class=
"clearfix">
25 <h1 class=
"headermain"><?php echo $heading ?></h1>
26 <div class=
"headermenu"><?php echo $menu ?></div>
28 <?php } else if ($heading) { // This is what gets printed on any other page with a heading
30 <div id=
"header" class=
"clearfix">
31 <h1 class=
"headermain"><?php echo $heading ?></h1>
32 <div class=
"headermenu"><?php echo $menu ?></div>
35 <?php //Accessibility: breadcrumb trail/navbar now a DIV, not a table.
36 if ($navigation) { // This is the navigation bar with breadcrumbs ?>
37 <div
class="navbar clearfix">
38 <div
class="breadcrumb"><?php
print_navigation($navigation); ?></div>
39 <div class=
"navbutton"><?php echo $button; ?></div>
41 <?php } else if ($heading) { // If no navigation, but a heading, then print a line
44 <div class=
"clearer"> </div>
45 <!-- END OF HEADER -->