diff --git a/website/_includes/header.html b/website/_includes/header.html
index 1ec9001e..6305d350 100644
--- a/website/_includes/header.html
+++ b/website/_includes/header.html
@@ -4,7 +4,7 @@
{%- assign default_paths = site.pages | map: "path" -%}
{%- assign page_paths = site.header_pages | default: default_paths -%}
{%- assign titles_size = site.pages | map: 'title' | join: '' | size -%}
-
+
{%- if titles_size > 0 -%}