ceph/src/boost/libs/hana/doc/header.html

   1 <!--
   2 Copyright Louis Dionne 2013-2016
   3 Distributed under the Boost Software License, Version 1.0.
   4 (See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt)
   5 -->
   6
   7 <!-- boost-no-inspect -->
   8
   9 <!-- HTML header for doxygen 1.8.9.1-->
  10 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
  11 <html xmlns="http://www.w3.org/1999/xhtml">
  12 <head>
  13 <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
  14 <meta http-equiv="X-UA-Compatible" content="IE=9"/>
  15 <meta name="generator" content="Doxygen $doxygenversion"/>
  16 <!--BEGIN PROJECT_NAME--><title>$projectname: $title</title><!--END PROJECT_NAME-->
  17 <!--BEGIN !PROJECT_NAME--><title>$title</title><!--END !PROJECT_NAME-->
  18 <link href="$relpath^tabs.css" rel="stylesheet" type="text/css"/>
  19 <script type="text/javascript" src="$relpath^jquery.js"></script>
  20 <script type="text/javascript" src="$relpath^dynsections.js"></script>
  21 $treeview
  22 $search
  23 $mathjax
  24 <link href="$relpath^$stylesheet" rel="stylesheet" type="text/css" />
  25
  26 <!-- Additional javascript for drawing charts. -->
  27 <script type="text/javascript" src="$relpath^highcharts.js"></script>
  28 <script type="text/javascript" src="$relpath^highcharts-data.js"></script>
  29 <script type="text/javascript" src="$relpath^highcharts-exporting.js"></script>
  30 <script type="text/javascript" src="$relpath^chart.js"></script>
  31 <script type="text/javascript" src="$relpath^hana.js"></script>
  32
  33 $extrastylesheet
  34 </head>
  35 <body>
  36 <div id="top"><!-- do not remove this div, it is closed by doxygen! -->
  37
  38 <!--BEGIN TITLEAREA-->
  39 <div id="titlearea">
  40 <table cellspacing="0" cellpadding="0">
  41  <tbody>
  42  <tr style="height: 56px;">
  43   <!--BEGIN PROJECT_LOGO-->
  44   <td id="projectlogo"><img alt="Logo" src="$relpath^$projectlogo"/></td>
  45   <!--END PROJECT_LOGO-->
  46   <!--BEGIN PROJECT_NAME-->
  47   <td style="padding-left: 0.5em;">
  48    <div id="projectname">$projectname
  49    <!--BEGIN PROJECT_NUMBER-->&#160;<span id="projectnumber">$projectnumber</span><!--END PROJECT_NUMBER-->
  50    </div>
  51    <!--BEGIN PROJECT_BRIEF--><div id="projectbrief">$projectbrief</div><!--END PROJECT_BRIEF-->
  52   </td>
  53   <!--END PROJECT_NAME-->
  54   <!--BEGIN !PROJECT_NAME-->
  55    <!--BEGIN PROJECT_BRIEF-->
  56     <td style="padding-left: 0.5em;">
  57     <div id="projectbrief">$projectbrief</div>
  58     </td>
  59    <!--END PROJECT_BRIEF-->
  60   <!--END !PROJECT_NAME-->
  61   <!--BEGIN DISABLE_INDEX-->
  62    <!--BEGIN SEARCHENGINE-->
  63    <td>$searchbox</td>
  64    <!--END SEARCHENGINE-->
  65   <!--END DISABLE_INDEX-->
  66  </tr>
  67  </tbody>
  68 </table>
  69 </div>
  70 <!--END TITLEAREA-->
  71 <!-- end header part -->