diff options
| -rw-r--r-- | doc/common/header.html | 2 | ||||
| -rw-r--r-- | doc/common/mainheader.html | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/doc/common/header.html b/doc/common/header.html index b57fb0a04..de91edbac 100644 --- a/doc/common/header.html +++ b/doc/common/header.html @@ -46,7 +46,7 @@ </div> <div id="menu"> -</ul> </div> + </div> </div> </div> <!-- End page header --> diff --git a/doc/common/mainheader.html b/doc/common/mainheader.html index a7e2adca6..44b551dfb 100644 --- a/doc/common/mainheader.html +++ b/doc/common/mainheader.html @@ -45,7 +45,7 @@ </div> <div id="menu"> -</ul> </div> + </div> </div> </div> <!-- End page header --> |