diff --git a/doc/header.html b/doc/header.html index bfaed76..f0b93e0 100644 --- a/doc/header.html +++ b/doc/header.html @@ -6,8 +6,6 @@ -$projectname: $title -$title @@ -28,21 +26,6 @@ $extrastylesheet Logo - - -
$projectname -  $projectnumber -
-
$projectbrief
- - - - - -
$projectbrief
- - - $searchbox