Automated update by GitHub Action

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