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 @@