Move research pages back to normal pages, so they can have headers.

_config.yml

@@ -37,8 +37,7 @@ defaults:
       layout: person
   -
     scope:
-      path: ""
-      type: research
+      path: "research"
     values:
       layout: research
 

_layouts/home.html

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

research.md

----
-title: Research
-menu: true
-menu_order: 2
----
-
-The main focus of our group is on program specification and verification for JavaScript and Concurrency.
-
-{% for item in site.research %}
-<h3><a href="{{ item.url }}">{{ item.title }}</a></h3>
-{{ item.excerpt }}
-<p><a href="{{ item.url }}">Read more...</a></p>
-{% endfor %}
-

_research/concurrency.md → research/concurrency.md

 ---
 title: Concurrency
 project_id: concurrency
+menu: true
+menu_order: 3
 ---
 
 We develop formal reasoning techniques for concurrent programs, with a

_research/javascript.md → research/javascript.md

 ---
 title: JavaScript
 project_id: javascript
+menu: true
+menu_order: 4
 ---
 
 We study the mechanised specification of the JavaScript language