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