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()\"";
20 <?php //Accessibility: 'headermain' is now H1, see theme/standard/styles_layout.css: .headermain
21 if ($home) { // This is what gets printed on the home page only
23 <div id=
"header-home" class=
"clearfix">
24 <h1 class=
"headermain"><?php echo $heading ?></h1>
25 <div class=
"headermenu"><?php echo $menu ?></div>
27 <?php } else if ($heading) { // This is what gets printed on any other page with a heading
29 <div id=
"header" class=
"clearfix">
30 <h1 class=
"headermain"><?php echo $heading ?></h1>
31 <div class=
"headermenu"><?php echo $menu ?></div>
34 <?php //Accessibility: breadcrumb trail/navbar now a DIV, not a table.
35 if ($navigation) { // This is the navigation bar with breadcrumbs ?>
36 <div
class="navbar clearfix">
37 <div
class="breadcrumb"><?php
print_navigation($navigation); ?></div>
38 <div class=
"navbutton"><?php echo $button; ?></div>
40 <?php } else if ($heading) { // If no navigation, but a heading, then print a line
44 <!-- END OF HEADER -->