From 8ce006eb19a32ce5461447cac538427e41321fe4 Mon Sep 17 00:00:00 2001 From: Oliver Ruebel Date: Tue, 6 Aug 2024 13:10:45 -0700 Subject: [PATCH] Add missing header.html --- docs/layout/header.html | 80 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 80 insertions(+) create mode 100644 docs/layout/header.html 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
+
+ +