shithub: leaf

ref: e87ff1ef2c8d42e13a23dc3e58942093126491ee
dir: /docs/header.html/

View raw version
<!-- HTML header for doxygen 1.8.18-->
<!DOCTYPE html
    PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "https://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">

<head>
    <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8" />
    <meta http-equiv="X-UA-Compatible" content="IE=9" />
    <meta name="generator" content="Doxygen $doxygenversion" />
    <meta name="viewport" content="width=device-width, initial-scale=1" />
    <!--BEGIN PROJECT_NAME-->
    <title>$projectname: $title</title>
    <!--END PROJECT_NAME-->
    <!--BEGIN !PROJECT_NAME-->
    <title>$title</title>
    <!--END !PROJECT_NAME-->
    <link href="$relpath^tabs.css" rel="stylesheet" type="text/css" />
    <script type="text/javascript" src="$relpath^jquery.js"></script>
    <script type="text/javascript" src="$relpath^dynsections.js"></script>
    <script type="text/javascript" src="$relpath^../js/iframeResizer.contentWindow.min.js"></script>
    <!-- <script src="/js/template.js"></script> -->
    $treeview $search $mathjax
    <link href="$relpath^$stylesheet" rel="stylesheet" type="text/css" />
    $extrastylesheet
    <!-- <link rel="stylesheet" href="/css/tachyons.css" type="text/css" /> -->
</head>

<body class="bg-washed-green black-70 ph0 sans-serif" onload="iframeResizePipe()">

    <div>
        <!-- do not remove this div, it is closed by doxygen! -->

        <!--BEGIN TITLEAREA-->
        <div id="titlearea">
            <table cellspacing="0" cellpadding="0">
                <tbody>
                    <tr>
                        <!--BEGIN PROJECT_LOGO-->
                        <!--END PROJECT_LOGO-->
                        <!--BEGIN PROJECT_NAME-->
                        <!--BEGIN PROJECT_NUMBER-->
                        <!--END PROJECT_NUMBER-->
                        <!--BEGIN PROJECT_BRIEF-->
                        <!--END PROJECT_BRIEF-->
                        <!--END PROJECT_NAME-->
                        <!--BEGIN !PROJECT_NAME-->
                        <!--BEGIN PROJECT_BRIEF-->
                        <!--END PROJECT_BRIEF-->
                        <!--END !PROJECT_NAME-->
                        <!--BEGIN DISABLE_INDEX-->
                        <!--BEGIN SEARCHENGINE-->
                        <td>$searchbox</td>
                        <!--END SEARCHENGINE-->
                        <!--END DISABLE_INDEX-->
                    </tr>
                </tbody>
            </table>
        </div>
        <!--END TITLEAREA-->
        <!-- end header part -->
    </div>
</body>

</html>