theme/formal_white/header.html

   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 ?>>
   3 <head>
   4     <?php echo $meta ?>
   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"); ?>
   9 </head>
  10
  11 <body<?php
  12     echo " $bodytags";
  13     if ($focus) {
  14         echo " onload=\"setfocus()\"";
  15     }
  16     ?>>
  17
  18 <div id="page">
  19
  20 <?php //Accessibility: warning: ALT text will need editing if logo changes. 'headermain' is now H1, see theme/standard/styles_layout.css: .headermain
  21       if ($home) {  // This is what gets printed on the home page only
  22 ?>
  23     <div id="header-home" class="clearfix">
  24         <h1 class="headermain"><img alt='Moodle' src='<?php echo $CFG->httpsthemewww .'/'. current_theme() ?>/logo.jpg' /></h1>
  25         <div class="headermenu"><?php echo $menu ?></div>
  26     </div>
  27 <?php } else if ($heading) {  // This is what gets printed on any other page with a heading
  28 ?>
  29     <div id="header" class="clearfix">
  30         <h1 class="headermain"><img alt='Moodle' src='<?php echo $CFG->httpsthemewww .'/'. current_theme() ?>/logo_small.jpg' /></h1>
  31         <div class="headermenu"><?php echo $menu ?></div>
  32     </div>
  33 <?php } ?>
  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>
  39     </div>
  40 <?php } else if ($heading) { // If no navigation, but a heading, then print a line
  41 ?>
  42        <hr />
  43 <?php } ?>
  44     <!-- END OF HEADER -->
  45     <div id="content">