From f738e3140e8cdd4f989b04c8de6222c728315252 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:21:14 +0200
Subject: [PATCH] Wrap in pre

---
 lib/superfences_ponylang/__init__.py | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

diff --git a/lib/superfences_ponylang/__init__.py b/lib/superfences_ponylang/__init__.py
index 97d9b293..bc952055 100644
--- a/lib/superfences_ponylang/__init__.py
+++ b/lib/superfences_ponylang/__init__.py
@@ -74,12 +74,14 @@ def format(source, language, css_class, options, md, classes=None, id_value='',
         raise SuperFencesException('Could not highlight source code "%s" passed' % (source))
 
     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>
+        <pre>
+            <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>
+        </pre>
     """ % highlighted
 
     return """