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 8b133a3b2..1405c65e1 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 a730e325d..4f36beb9c 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 --> |