header.html 2.5 KB

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