diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html
index 339f0d2a90..777faebf4d 100644
--- a/docs/_layouts/default.html
+++ b/docs/_layouts/default.html
@@ -29,6 +29,7 @@ <h2 class="project-tagline">{{ page.description | default: site.description | de
       }}</h2>
     <a href="blueprint" class="btn">Blueprint</a>
     <a href="docs" class="btn">Documentation</a>
+    <a href="blueprint.pdf" class="btn">Paper</a>
     {% if site.github.is_project_page %}
     <a href="{{ site.github.repository_url }}" class="btn">View on GitHub</a>
     {% endif %}