website: add playground button to navbar (open-policy-agent#4622)

Addressing one tiny bit of open-policy-agent#4614. Signed-off-by: Stephan Renatus <stephan.renatus@gmail.com>
rokkiter · Apr 26, 2022 · 619867c · 619867c
1 parent 18205d8
commit 619867c
Showing 1 changed file with 6 additions and 0 deletions.
diff --git 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>