diff --git a/page_begin.html b/page_begin.html
index b86255719e934b2ffdbbacbb19b30337586c2d49..3466bcda8d7b18594eb3e506a48d0394e363150e 100644
--- a/page_begin.html
+++ b/page_begin.html
@@ -2,8 +2,6 @@
function markdown_highlight_swap() { }
[markdown_highlight, markdown_highlight_swap] = [markdown_highlight_swap, markdown_highlight]
-
-
diff --git a/page_begin/header.html b/page_begin/header.html
index 6a8b7d46e502e0160f8829becfe4300833a52f25..7167367be06e57966cb3d6e6df82d6bda89e127a 100644
--- a/page_begin/header.html
+++ b/page_begin/header.html
@@ -1,4 +1,6 @@