diff --git a/doc/htdocs/configuration.html b/doc/htdocs/configuration.html
index e5f3c41f..bf2bafb1 100644
--- a/doc/htdocs/configuration.html
+++ b/doc/htdocs/configuration.html
@@ -27,8 +27,8 @@
diff --git a/doc/htdocs/deployment.html b/doc/htdocs/deployment.html
index d63a5672..c7c15ab0 100644
--- a/doc/htdocs/deployment.html
+++ b/doc/htdocs/deployment.html
@@ -27,8 +27,8 @@
diff --git a/doc/htdocs/faq.html b/doc/htdocs/faq.html
index 7727fedb..f31ef387 100644
--- a/doc/htdocs/faq.html
+++ b/doc/htdocs/faq.html
@@ -27,8 +27,8 @@
diff --git a/doc/htdocs/index.html b/doc/htdocs/index.html
index 57ed647c..cf83ca45 100644
--- a/doc/htdocs/index.html
+++ b/doc/htdocs/index.html
@@ -27,8 +27,8 @@
diff --git a/doc/htdocs/installation.html b/doc/htdocs/installation.html
index 82d993b8..7a53863f 100644
--- a/doc/htdocs/installation.html
+++ b/doc/htdocs/installation.html
@@ -27,8 +27,8 @@
diff --git a/doc/htdocs/news.html b/doc/htdocs/news.html
index 4029a699..4c7d99e9 100644
--- a/doc/htdocs/news.html
+++ b/doc/htdocs/news.html
@@ -27,8 +27,8 @@
diff --git a/doc/htdocs/tuning.html b/doc/htdocs/tuning.html
index 42b6a487..52bd95a3 100644
--- a/doc/htdocs/tuning.html
+++ b/doc/htdocs/tuning.html
@@ -27,8 +27,8 @@
diff --git a/doc/htdocs/usage.html b/doc/htdocs/usage.html
index 0451ab3a..8e1d772f 100644
--- a/doc/htdocs/usage.html
+++ b/doc/htdocs/usage.html
@@ -27,8 +27,8 @@
diff --git a/doc/templates/base.html b/doc/templates/base.html
index 24a3e435..7f7f1fbd 100644
--- a/doc/templates/base.html
+++ b/doc/templates/base.html
@@ -27,8 +27,8 @@