From ef0f9531dd019f2e47c699e99f4ae5a88caa8ff1 Mon Sep 17 00:00:00 2001
From: Matei Cloteaux <matei.cloteaux@gmail.com>
Date: Tue, 28 Jan 2025 16:18:16 -0500
Subject: [PATCH 1/2] Fix getting started doc

---
 doc/GettingStarted.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/doc/GettingStarted.md b/doc/GettingStarted.md
index 1c74d6e..7834906 100644
--- a/doc/GettingStarted.md
+++ b/doc/GettingStarted.md
@@ -55,11 +55,13 @@ defines a variable `world`, and prints it out.
 
 To run it, type the following command, or use the run functionality
 provided by your deduce editor.
+
 ```
 python deduce.py hello.pf
 ```
 
 You should see the output
+
 ```
 hello
 hello.pf is valid

From cb4243c687351c17e247fcab6c9663165819a98f Mon Sep 17 00:00:00 2001
From: "github-actions[bot]" <github-actions[bot]@users.noreply.github.com>
Date: Tue, 28 Jan 2025 21:18:46 +0000
Subject: [PATCH 2/2] Automated update by GitHub Action

---
 gh-pages/pages/getting-started.html | 14 +++++---------
 1 file changed, 5 insertions(+), 9 deletions(-)

diff --git a/gh-pages/pages/getting-started.html b/gh-pages/pages/getting-started.html
index e4a1657..efb4c72 100644
--- a/gh-pages/pages/getting-started.html
+++ b/gh-pages/pages/getting-started.html
@@ -113,15 +113,11 @@ <h2 id="running-deduce-programs">Running Deduce Programs</h2>
 <p>This program defines a new union type called <code class="inline">Greeting</code>,
 defines a variable <code class="inline">world</code>, and prints it out.</p>
 <p>To run it, type the following command, or use the run functionality
-provided by your deduce editor.
-!!!
-python deduce.py hello.pf
-!!!</p>
-<p>You should see the output
-!!!
-hello
-hello.pf is valid
-!!!</p>
+provided by your deduce editor.</p>
+<div class="code-wrapper non-deduce"><code>python&nbsp;deduce.py&nbsp;hello.pf</code></div>
+<p>You should see the output</p>
+<div class="code-wrapper non-deduce"><code>hello<br>
+hello.pf&nbsp;is&nbsp;valid</code></div>
 <h3 id="command-line-arguments">Command Line Arguments</h3>
 <p>The <code class="inline">deduce.py</code> script supports certain command line arguments which
 are documented below. If an argument is not preceded by one of the