diff --git a/doc/header.html b/doc/header.html index 4b2a5e9..364b0bc 100644 --- a/doc/header.html +++ b/doc/header.html @@ -1,12 +1,58 @@ - + + +
-
+ $projectname
+ $projectnumber
+
+ $projectbrief
+ |
+
+
+
+
+ $projectbrief
+ |
+
+
+
+
+ $searchbox | + + +