diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html
index 594e17f..e2015be 100644
--- a/docs/_layouts/default.html
+++ b/docs/_layouts/default.html
@@ -25,9 +25,9 @@
{{ page.title | default: site.title | default: site.github.repository_name }}
{{ page.description | default: site.description | default: site.github.project_tagline }}
- Blueprint
- Blueprint (PDF)
- Lean API Docs
+ Blueprint
+ Blueprint (PDF)
+ Lean API Docs
{% if site.github.is_project_page %}
GitHub
{% endif %}
diff --git a/homepage/index.html b/homepage/index.html
index 476c311..a08624b 100644
--- a/homepage/index.html
+++ b/homepage/index.html
@@ -43,7 +43,7 @@ On the Last Kervaire Invariant Problem