diff --git a/doc/html/comparison.html b/doc/html/comparison.html
index 0dc34ad1..e1103fe6 100644
--- a/doc/html/comparison.html
+++ b/doc/html/comparison.html
@@ -14,7 +14,7 @@
-  |
+  |
diff --git a/doc/html/developers.html b/doc/html/developers.html
index dc8e8789..83c7f56b 100644
--- a/doc/html/developers.html
+++ b/doc/html/developers.html
@@ -14,7 +14,7 @@
-  |
+  |
diff --git a/doc/html/documentation.html b/doc/html/documentation.html
index c623660e..df69ea34 100644
--- a/doc/html/documentation.html
+++ b/doc/html/documentation.html
@@ -14,7 +14,7 @@
-  |
+  |
diff --git a/doc/html/download.html b/doc/html/download.html
index 611c8098..afbcdeb1 100644
--- a/doc/html/download.html
+++ b/doc/html/download.html
@@ -14,7 +14,7 @@
-  |
+  |
diff --git a/doc/html/faq.html b/doc/html/faq.html
index 2e11bf15..9b9f62ba 100644
--- a/doc/html/faq.html
+++ b/doc/html/faq.html
@@ -14,7 +14,7 @@
-  |
+  |
diff --git a/doc/html/features.html b/doc/html/features.html
index 8d5bf7d7..2bd90576 100644
--- a/doc/html/features.html
+++ b/doc/html/features.html
@@ -14,7 +14,7 @@
-  |
+  |
diff --git a/doc/html/format.html b/doc/html/format.html
index b11ef638..98b653a2 100644
--- a/doc/html/format.html
+++ b/doc/html/format.html
@@ -14,7 +14,7 @@
-  |
+  |
diff --git a/doc/html/goals.html b/doc/html/goals.html
index ed082062..c4eabd86 100644
--- a/doc/html/goals.html
+++ b/doc/html/goals.html
@@ -14,7 +14,7 @@
-  |
+  |
diff --git a/doc/html/id.html b/doc/html/id.html
index 815bd03b..4b85460d 100644
--- a/doc/html/id.html
+++ b/doc/html/id.html
@@ -14,7 +14,7 @@
-  |
+  |
diff --git a/doc/html/images/logo100.gif b/doc/html/images/logo100.gif
new file mode 100644
index 00000000..a078a4bc
Binary files /dev/null and b/doc/html/images/logo100.gif differ
diff --git a/doc/html/images/logo130.gif b/doc/html/images/logo130.gif
new file mode 100644
index 00000000..5d0da8b6
Binary files /dev/null and b/doc/html/images/logo130.gif differ
diff --git a/doc/html/index.html b/doc/html/index.html
index fa3692fd..a219ce17 100644
--- a/doc/html/index.html
+++ b/doc/html/index.html
@@ -17,7 +17,7 @@
-  |
+  |
diff --git a/doc/html/news.html b/doc/html/news.html
index f7f2d9c3..a01f803f 100644
--- a/doc/html/news.html
+++ b/doc/html/news.html
@@ -14,7 +14,7 @@
-  |
+  |