From 475ed646f32bc26c711c31df4bbdfc22566464bb Mon Sep 17 00:00:00 2001
From: wangpan {{ 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