diff --git a/docs/layout/header.html b/docs/layout/header.html new file mode 100644 index 00000000..67be0dae --- /dev/null +++ b/docs/layout/header.html @@ -0,0 +1,80 @@ + + + + + + + + +$projectname: $title +$title + + + + + + + + + + + + + + +$treeview +$search +$mathjax +$darkmode + +$extrastylesheet + + + + +
+ + + +
+ + +
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+
$projectname $projectnumber +
+
$projectbrief
+ 		+
$projectbrief
+ 		$searchbox
$searchbox
+
+ +