l4/doc/source/l4re-header.html

   1 <!-- HTML header for doxygen 1.8.5-->
   2 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
   3 <html xmlns="http://www.w3.org/1999/xhtml">
   4 <head>
   5 <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
   6 <meta http-equiv="X-UA-Compatible" content="IE=9"/>
   7 <meta name="generator" content="Doxygen $doxygenversion"/>
   8 <!--BEGIN PROJECT_NAME--><title>$projectname: $title</title><!--END PROJECT_NAME-->
   9 <!--BEGIN !PROJECT_NAME--><title>$title</title><!--END !PROJECT_NAME-->
  10 <link href="$relpath^tabs.css" rel="stylesheet" type="text/css"/>
  11 <script type="text/javascript" src="$relpath^jquery.js"></script>
  12 <script type="text/javascript" src="$relpath^dynsections.js"></script>
  13 $treeview
  14 $search
  15 $mathjax
  16 <link href="$relpath^$stylesheet" rel="stylesheet" type="text/css" />
  17 $extrastylesheet
  18 </head>
  19 <body>
  20 <div id="top"><!-- do not remove this div, it is closed by doxygen! -->
  21
  22 <!--BEGIN TITLEAREA-->
  23 <div id="titlearea">
  24 <table cellspacing="0" cellpadding="0">
  25  <tbody>
  26  <tr style="height: 56px;">
  27   <!--BEGIN PROJECT_LOGO-->
  28   <td id="projectlogo"><img alt="Logo" src="$relpath^$projectlogo"/></td>
  29   <!--END PROJECT_LOGO-->
  30   <!--BEGIN PROJECT_NAME-->
  31   <td style="padding-left: 0.5em;">
  32    <div id="projectname">$projectname
  33    <!--BEGIN PROJECT_NUMBER-->&#160;<span id="projectnumber">$projectnumber</span><!--END PROJECT_NUMBER-->
  34    </div>
  35    <!--BEGIN PROJECT_BRIEF--><div id="projectbrief">$projectbrief</div><!--END PROJECT_BRIEF-->
  36   </td>
  37   <!--END PROJECT_NAME-->
  38   <!--BEGIN !PROJECT_NAME-->
  39    <!--BEGIN PROJECT_BRIEF-->
  40     <td style="padding-left: 0.5em;">
  41     <div id="projectbrief">$projectbrief</div>
  42     </td>
  43    <!--END PROJECT_BRIEF-->
  44   <!--END !PROJECT_NAME-->
  45   <!--BEGIN DISABLE_INDEX-->
  46    <!--BEGIN SEARCHENGINE-->
  47    <td>$searchbox</td>
  48    <!--END SEARCHENGINE-->
  49   <!--END DISABLE_INDEX-->
  50  </tr>
  51  </tbody>
  52 </table>
  53 </div>
  54 <!--END TITLEAREA-->
  55 <!-- end header part -->