From eb94b739c19dfba133a510e2d0539da368afcd72 Mon Sep 17 00:00:00 2001
From: Stephan Renatus <stephan.renatus@gmail.com>
Date: Tue, 26 Apr 2022 14:48:45 +0200
Subject: [PATCH] website: add playground button to navbar (#4622)

Addressing one tiny bit of #4614.

Signed-off-by: Stephan Renatus <stephan.renatus@gmail.com>
---
 docs/website/layouts/partials/docs/navbar.html | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/docs/website/layouts/partials/docs/navbar.html b/docs/website/layouts/partials/docs/navbar.html
index 6379edc666..5df1f88f62 100644
--- a/docs/website/layouts/partials/docs/navbar.html
+++ b/docs/website/layouts/partials/docs/navbar.html
@@ -120,6 +120,12 @@
         </p>
       </div>
 
+      <div class="navbar-item">
+        <a class="button is-success has-text-weight-semibold" href="https://play.openpolicyagent.org/" target="_blank" title="Playground">
+          Playground
+        </a>
+      </div>
+
       <a class="navbar-item" href="{{ $github }}" target="_blank" title="GitHub">
         <span class="icon has-text-white-bis">
           <i class="fab fa-github"></i>