header.html 2.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869
  1. <!-- HTML header for doxygen 1.8.4-->
  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. <script type="text/javascript">
  19. (function(i, s, o, g, r, a, m) {
  20. i['GoogleAnalyticsObject'] = r; i[r] = i[r] || function() {
  21. (i[r].q = i[r].q || []).push(arguments)
  22. }, i[r].l = 1 * new Date(); a = s.createElement(o),
  23. m = s.getElementsByTagName(o)[0]; a.async = 1; a.src = g; m.parentNode.insertBefore(a, m)
  24. })(window, document, 'script', '//www.google-analytics.com/analytics.js', 'ga');
  25. ga('create', 'UA-47310325-1', 'nvlabs.github.io');
  26. ga('send', 'pageview');
  27. </script>
  28. </head>
  29. <body>
  30. <div id="top"><!-- do not remove this div, it is closed by doxygen! -->
  31. <!--BEGIN TITLEAREA-->
  32. <div id="titlearea">
  33. <table cellspacing="0" cellpadding="0">
  34. <tbody>
  35. <tr style="height: 56px;">
  36. <!--BEGIN PROJECT_LOGO-->
  37. <td id="projectlogo"><img alt="Logo" src="$relpath^$projectlogo"/></td>
  38. <!--END PROJECT_LOGO-->
  39. <!--BEGIN PROJECT_NAME-->
  40. <td style="padding-left: 0.5em;">
  41. <div id="projectname">$projectname
  42. <!--BEGIN PROJECT_NUMBER-->&#160;<span id="projectnumber">$projectnumber</span><!--END PROJECT_NUMBER-->
  43. </div>
  44. <!--BEGIN PROJECT_BRIEF--><div id="projectbrief">$projectbrief</div><!--END PROJECT_BRIEF-->
  45. </td>
  46. <!--END PROJECT_NAME-->
  47. <!--BEGIN !PROJECT_NAME-->
  48. <!--BEGIN PROJECT_BRIEF-->
  49. <td style="padding-left: 0.5em;">
  50. <div id="projectbrief">$projectbrief</div>
  51. </td>
  52. <!--END PROJECT_BRIEF-->
  53. <!--END !PROJECT_NAME-->
  54. <!--BEGIN DISABLE_INDEX-->
  55. <!--BEGIN SEARCHENGINE-->
  56. <td>$searchbox</td>
  57. <!--END SEARCHENGINE-->
  58. <!--END DISABLE_INDEX-->
  59. </tr>
  60. </tbody>
  61. </table>
  62. </div>
  63. <!--END TITLEAREA-->
  64. <!-- end header part -->