diff --git a/doc/footer.html b/doc/footer.html index ae9bbc7c8..f75a48920 100644 --- a/doc/footer.html +++ b/doc/footer.html @@ -3,3 +3,4 @@ + diff --git a/doc/header.html b/doc/header.html index 279ba7700..61826f690 100644 --- a/doc/header.html +++ b/doc/header.html @@ -22,10 +22,11 @@ $extrastylesheet +
-
-
+
+