diff --git a/docs/Doxyfile.in b/docs/Doxyfile.in index c29a8711..198f2e05 100644 --- a/docs/Doxyfile.in +++ b/docs/Doxyfile.in @@ -1280,7 +1280,7 @@ HTML_FILE_EXTENSION = .html # of the possible markers and block names see the documentation. # This tag requires that the tag GENERATE_HTML is set to YES. -HTML_HEADER = +HTML_HEADER = header.html # The HTML_FOOTER tag can be used to specify a user-defined HTML footer for each # generated HTML page. If the tag is left blank doxygen will generate a standard diff --git a/docs/header.html b/docs/header.html new file mode 100644 index 00000000..f6b746ca --- /dev/null +++ b/docs/header.html @@ -0,0 +1,96 @@ + + + + + + + +$projectname: $title +$title + + + + + + + + + + + + + + +$treeview +$search +$mathjax +$darkmode + +$extrastylesheet + + + + +
+ + + +
+ + +
+ + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+
$projectname $projectnumber +
+
$projectbrief
+ 		+
$projectbrief
+ 		$searchbox
$searchbox
+
+ + + + + +