diff --git a/docs/antnews.html b/docs/antnews.html
index acf604cdc..b3b2b8fbd 100644
--- a/docs/antnews.html
+++ b/docs/antnews.html
@@ -5,6 +5,7 @@
+
diff --git a/docs/external.html b/docs/external.html
index f2f7df056..8ab35244f 100644
--- a/docs/external.html
+++ b/docs/external.html
@@ -5,6 +5,7 @@
+
diff --git a/docs/faq.html b/docs/faq.html
index 9ce89a532..eff31e819 100644
--- a/docs/faq.html
+++ b/docs/faq.html
@@ -5,6 +5,7 @@
+
diff --git a/docs/index.html b/docs/index.html
index aa3e3ec42..5239f3407 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -5,6 +5,7 @@
+
diff --git a/docs/logocontest.html b/docs/logocontest.html
index 1d667f607..d1caad53f 100644
--- a/docs/logocontest.html
+++ b/docs/logocontest.html
@@ -5,6 +5,7 @@
+
diff --git a/docs/logos.html b/docs/logos.html
index 92ffb5f86..ee454ced8 100644
--- a/docs/logos.html
+++ b/docs/logos.html
@@ -5,6 +5,7 @@
+
diff --git a/docs/problems.html b/docs/problems.html
index 13f097bcd..792ed3c73 100644
--- a/docs/problems.html
+++ b/docs/problems.html
@@ -5,6 +5,7 @@
+
diff --git a/docs/projects.html b/docs/projects.html
index 713a2c52a..8aeebdc2c 100644
--- a/docs/projects.html
+++ b/docs/projects.html
@@ -5,6 +5,7 @@
+
diff --git a/docs/resources.html b/docs/resources.html
index 274efcb59..ad66057b2 100644
--- a/docs/resources.html
+++ b/docs/resources.html
@@ -5,6 +5,7 @@
+
diff --git a/xdocs/stylesheets/templates.vm b/xdocs/stylesheets/templates.vm
index be668d7a7..cb1256545 100644
--- a/xdocs/stylesheets/templates.vm
+++ b/xdocs/stylesheets/templates.vm
@@ -149,6 +149,7 @@
#macro (header)
+