diff --git a/doc/html/header.html b/doc/html/header.html index 9855735..edf8ba4 100644 --- a/doc/html/header.html +++ b/doc/html/header.html @@ -1,4 +1,4 @@ - + @@ -8,6 +8,9 @@ $projectname: $title $title + + + @@ -16,6 +19,9 @@ + + + $treeview $search $mathjax @@ -39,7 +45,7 @@ - Logo + Logo