From 89cf63db7c4010e8f00dd174ade1dc0b2425056b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Sebastian=20H=C3=A4drich?=
 <11225821+shaedrich@users.noreply.github.com>
Date: Thu, 6 Jun 2024 03:16:47 +0200
Subject: [PATCH] Navigation

---
 lib/superfences_ponylang/__init__.py | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/lib/superfences_ponylang/__init__.py b/lib/superfences_ponylang/__init__.py
index 28dd3958..97d9b293 100644
--- a/lib/superfences_ponylang/__init__.py
+++ b/lib/superfences_ponylang/__init__.py
@@ -73,7 +73,14 @@ def format(source, language, css_class, options, md, classes=None, id_value='',
     except:
         raise SuperFencesException('Could not highlight source code "%s" passed' % (source))
 
-    return '<code lang="pony">%s</code>' % highlighted
+    return """
+        <nav class="md-code__nav">
+            <button class="md-code__button" title="Copy to clipboard" data-clipboard-target="#__code_1 &gt; code" data-md-type="copy"></button>
+            <button class="md-code__button" title="Run in playground" data-md-type="run"></button>
+            <button class="md-code__button" title="Run in playground" data-md-type="inline"></button>
+        </nav>
+        <code lang="pony">%s</code>
+    """ % highlighted
 
     return """
     <pre class_name="ponylang %s %s", data-option="%s">