From ea3082d639b60731ae5447eaa68dafbecd87f2db Mon Sep 17 00:00:00 2001
From: Timothy Carstens <intoverflow@gmail.com>
Date: Tue, 30 Nov 2021 12:53:52 -0800
Subject: [PATCH] Put note at the top about project status

---
 docs/source/index.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/source/index.rst b/docs/source/index.rst
index d126add..960bdc4 100644
--- a/docs/source/index.rst
+++ b/docs/source/index.rst
@@ -3,7 +3,7 @@ Style Guide for Coq
 
 Published by `applied.fm <https://applied.fm>`_.
 
-This is a work in progress! We welcome feedback and pull requests. `Find us on GitHub <https://github.com/appliedfm/vstyle>`_.
+.. note:: This is a work in progress! We welcome feedback and pull requests. `Find us on GitHub <https://github.com/appliedfm/vstyle>`_.
 
 
 About