|
|
|
<!-- HTML header for doxygen 1.8.11-->
|
|
|
|
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://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"/>
|
|
|
|
<!--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>
|
|
|
|
(function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
|
|
|
|
(i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
|
|
|
|
m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
|
|
|
|
})(window,document,'script','https://www.google-analytics.com/analytics.js','ga');
|
|
|
|
ga('create', 'UA-59839218-1', 'auto');
|
|
|
|
ga('send', 'pageview');
|
|
|
|
</script>
|
|
|
|
|
|
|
|
$treeview
|
|
|
|
$search
|
|
|
|
$mathjax
|
|
|
|
<link href="$relpath^$stylesheet" rel="stylesheet" type="text/css" />
|
|
|
|
$extrastylesheet
|
|
|
|
</head>
|
|
|
|
<body>
|
|
|
|
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
|
|
|
|
|
|
|
|
<!--BEGIN TITLEAREA-->
|
|
|
|
<div id="titlearea" style="background-color: #B7CEEC;">
|
|
|
|
<table cellspacing="0" cellpadding="0">
|
|
|
|
<tbody>
|
|
|
|
<tr style="height: 56px;">
|
|
|
|
<!--BEGIN PROJECT_LOGO-->
|
|
|
|
<td id="projectlogo"><a href="https://fungusgames.com" target="_blank"><img alt="Logo" src="$relpath^$projectlogo"/></a></td>
|
|
|
|
<!--END PROJECT_LOGO-->
|
|
|
|
<!--BEGIN PROJECT_NAME-->
|
|
|
|
<td id="projectalign" style="padding-left: 0.5em;">
|
|
|
|
<div id="projectname"><!--$projectname-->
|
|
|
|
<!--BEGIN PROJECT_NUMBER--> <span id="projectnumber"><!--$projectnumber--></span><!--END PROJECT_NUMBER-->
|
|
|
|
</div>
|
|
|
|
<!--BEGIN PROJECT_BRIEF--><div id="projectbrief">$projectnumber $projectbrief</div><!--END PROJECT_BRIEF-->
|
|
|
|
</td>
|
|
|
|
<!--END PROJECT_NAME-->
|
|
|
|
<!--BEGIN !PROJECT_NAME-->
|
|
|
|
<!--BEGIN PROJECT_BRIEF-->
|
|
|
|
<td style="padding-left: 0.5em;">
|
|
|
|
<div id="projectbrief">$projectbrief</div>
|
|
|
|
</td>
|
|
|
|
<!--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 -->
|