Reverse homepage buttons

_layouts/home.html

@@ -6,7 +6,7 @@ layout: default
     {{ content }}
   </div>
   {% assign research_pages = site.pages | where_exp: 'page', 'page.url contains "/research/"' %}
-  {% for item in research_pages %}
+  {% for item in research_pages | reverse %}
   <a class="btn btn-primary btn-lg" href="{{ item.url }}">{{ item.title }}</a>
   {% endfor %}
 </div>
@@ -27,4 +27,3 @@ layout: default
     {% bibliography --max 5 %}
   </div>
 </div>
-

index.md

@@ -5,5 +5,4 @@ menu: true
 menu_order: 1
 ---
 
-This research group focusses on mechanised language specification and program verification.  We are exploring what it means to build, evaluate, and trust a fully mechanised language specification, using JavaScript as the real-world example language. We are developing library specifications which must be robust with respect to the environment: implementations should not leak; and specifications should be useful to the client. We are developing compositional program reasoning techniques that scale, leading to automatic tools for verifiying properties of programs. Our current focus is on reasoning about JavaScript and Concurrency.
-
+This research group focuses on mechanised language specification and program verification.  We are exploring what it means to build, evaluate, and trust a fully mechanised language specification, using JavaScript as the real-world example language. We are developing library specifications which must be robust with respect to the environment: implementations should not leak; and specifications should be useful to the client. We are developing compositional program reasoning techniques that scale, leading to automatic tools for verifying properties of programs. Our current focus is on reasoning about JavaScript and Concurrency.