diff --git a/docs/config.js b/docs/config.js
index 09d0112e..a006a075 100644
--- a/docs/config.js
+++ b/docs/config.js
@@ -63,6 +63,15 @@ module.exports = {
           "/app-dev/ecosystem"
         ]
       },
+      {
+        title: "ABCI Specification",
+        collapsable: false,
+        children: [
+          "/spec/abci/abci",
+          "/spec/abci/apps",
+          "/spec/abci/client-server"
+        ]
+      },
       {
         title: "Research",
         collapsable: false,