ewilliams28/releases
1
0
Fork 0
mirror of https://github.com/open-policy-agent/opa.git synced 2026-08-25 17:55:15 -06:00
Code Issues Packages Projects Releases Wiki Activity

website: add playground button to navbar (#4622)

Browse Source 
Addressing one tiny bit of #4614.

Signed-off-by: Stephan Renatus <stephan.renatus@gmail.com>
This commit is contained in:
Stephan Renatus
2022-04-26 14:48:45 +02:00
committed by GitHub
parent d819c1ecbd
commit eb94b739c1
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/website/layouts/partials/docs/navbar.html
+6
View File
@@ -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>