diff --git a/_config.yml b/_config.yml
index 750029d23e9477993981dbbbf2814b09ae548a1e..c2a91cd0c78a8caac976464e7e2ea20b7611a326 100644
--- a/_config.yml
+++ b/_config.yml
@@ -21,6 +21,7 @@ defaults:
     values:
       layout: "page"
       menu: true
+      menu_order: 9
 
 scholar:
   source: .
diff --git a/_includes/header.html b/_includes/header.html
index aa6a76eec3be9b79583fac39b929ef1434f888d8..b1326e7f1ebd6d0e1d0015f47aa485e763590af4 100644
--- a/_includes/header.html
+++ b/_includes/header.html
@@ -2,7 +2,7 @@
   <div class="site-masthead">
     <div class="container">
       <nav class="nav">
-        {% assign menu_items = site.pages | where:"menu",true %}
+        {% assign menu_items = site.pages | where:"menu",true | sort:"menu_order" %}
         {% if menu_items.size > 1 %}
         {% for item in menu_items %}
         {% if item.title %}
diff --git a/index.md b/index.md
index 047f371d1941e171ecd2d7606e0e157973d4ec1c..714321a1d4b0944f9592761a8ef1da9e4825c9ab 100644
--- a/index.md
+++ b/index.md
@@ -1,5 +1,6 @@
 ---
 title: Home
+menu_order: 1
 ---
 The world-wide web is a nearly-ubiquitous and continuously-growing application platform.
 As users increasingly come to depend on web applications, it is more important than ever to be able to make guarantees about these programs.