From 7af24f29c4341e2c9aeb46c6a0d52a318a2526ae Mon Sep 17 00:00:00 2001
From: Leo <leo@certus.one>
Date: Thu, 10 Jun 2021 16:10:48 +0200
Subject: [PATCH] design: update headers

Change-Id: Ice416896387645e0d650a123e9b3be447f7b07b4
---
 design/0004_message_publishing.md | 2 ++
 design/navbar.md                  | 3 +++
 2 files changed, 5 insertions(+)

diff --git a/design/0004_message_publishing.md b/design/0004_message_publishing.md
index db061413..8218b4bd 100644
--- a/design/0004_message_publishing.md
+++ b/design/0004_message_publishing.md
@@ -1,5 +1,7 @@
 # Message Publishing and Persistence
 
+[TOC]
+
 ## Objective
 
 To specify the mechanics and interfaces for publishing messages over Wormhole and how they are persisted.
diff --git a/design/navbar.md b/design/navbar.md
index 82c3c661..297562f5 100644
--- a/design/navbar.md
+++ b/design/navbar.md
@@ -1,5 +1,8 @@
 # Wormhole | Design Documents
 
 * [Generic Message Passing](./0001_generic_message_passing.md)
+* [Token Bridge](./0003_token_bridge.md)
+* [Message Publishing](./0004_message_publishing.md)
+* [Staking](./0005_staking.md)
 
 [home]: ./navbar.md