diff --git a/docs/_includes/head.html b/docs/_includes/head.html
index 19568d16..5fcf54ef 100644
--- a/docs/_includes/head.html
+++ b/docs/_includes/head.html
@@ -20,6 +20,148 @@
diff --git a/docs/_includes/nav/options.html b/docs/_includes/nav/options.html
new file mode 100644
index 00000000..27a12117
--- /dev/null
+++ b/docs/_includes/nav/options.html
@@ -0,0 +1,54 @@
+
diff --git a/docs/_includes/navigation.html b/docs/_includes/navigation.html
index f89d53f3..0df3d504 100644
--- a/docs/_includes/navigation.html
+++ b/docs/_includes/navigation.html
@@ -1,4 +1,4 @@
-