<!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" lang="$langISO">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=11"/>
<meta name="generator" content="Doxygen $doxygenversion"/>
<meta name="viewport" content="width=device-width, initial-scale=1"/>
<title>$projectname: $title</title>
<title>$title</title>
<link rel="icon" href="$relpath^$projecticon" type="image/x-icon" />
<link href="$relpath^tabs.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript">var page_layout=1;</script>
<script type="text/javascript" src="$relpath^jquery.js"></script>
<script type="text/javascript" src="$relpath^dynsections.js"></script>
<script type="text/javascript" src="$relpath^clipboard.js"></script>
$treeview
$search
$mathjax
$darkmode
<link href="$relpath^$stylesheet" rel="stylesheet" type="text/css" />
$extrastylesheet
<script type="text/javascript" src="$relpath^mermaid.min.js"></script>
<script>mermaid.startOnLoad = false;</script>
<script type="text/javascript">
document.addEventListener("DOMContentLoaded", function() {
var fragments = document.querySelectorAll("div.fragment");
var mermaidBlocks = [];
fragments.forEach(function(frag) {
var firstLine = frag.querySelector("div.line");
if (!firstLine) return;
var text = firstLine.textContent.trim();
if (/^(graph\b|flowchart\b|sequenceDiagram\b|classDiagram\b|stateDiagram\b|gantt\b|pie\b|erDiagram\b|journey\b|gitgraph\b|mindmap\b|timeline\b|xychart\b)/.test(text)) {
var lines = frag.querySelectorAll("div.line");
var code = "";
lines.forEach(function(l) { code += l.textContent + "\n"; });
var div = document.createElement("div");
div.className = "mermaid";
div.textContent = code.trim();
frag.parentNode.replaceChild(div, frag);
mermaidBlocks.push(div);
}
});
if (mermaidBlocks.length > 0) {
mermaid.initialize({ theme: document.documentElement.getAttribute("data-color-mode") === "dark" ? "dark" : "default" });
mermaid.run({ nodes: mermaidBlocks }).catch(function(err) { console.error("Mermaid rendering error:", err); });
}
});
</script>
</head>
<body>
<div id="side-nav" class="ui-resizable side-nav-resizable">
<div id="top">
<div id="titlearea">
<table cellspacing="0" cellpadding="0">
<tbody>
<tr id="projectrow">
<td id="projectlogo"><img alt="Logo" src="$relpath^$projectlogo"$logosize/></td>
<td id="projectalign">
<div id="projectname">$projectname<span id="projectnumber"> $projectnumber</span>
</div>
<div id="projectbrief">$projectbrief</div>
</td>
<td>
<div id="projectbrief">$projectbrief</div>
</td>
<td>$searchbox</td>
</tr>
<tr><td colspan="2">$searchbox</td></tr>
</tbody>
</table>
</div>