commit eaed24e776a19d8d12e4760830c870800cdf030a
from: Stefan Sperling <stsp@stsp.name>
date: Wed Dec 04 17:29:08 2019 UTC

cmdbox + wording tweak

commit - 59700934321f83e0a6a1a6a096615065e6435e7a
commit + eaed24e776a19d8d12e4760830c870800cdf030a
blob - 3d1013bf89040a3fd06c5bdcc40e9c37f7281ab0
blob + 43d2b678fa7ce3f1f700236b8d6aaeae4583887a
--- code.html
+++ code.html
@@ -22,20 +22,19 @@ Source code for released versions is available in the
 <p>
 The official Game of Trees Git repository can be cloned from
 git.gameoftrees.org:
-<p>
-<tt>
+<pre class="cmdbox">
 git clone https://git.gameoftrees.org/got.git
+</pre>
 
 <p>
 Git protocol access is also available if needed, but is discouraged
 because it does not use encryption:
-<p>
-<tt>
+<pre class="cmdbox">
 git clone git://git.gameoftrees.org/got.git
-</tt>
+</pre>
 
 <p>
-A read-only web interface for browsing is also available:
+A web interface for browsing is also available:
 <a href="https://git.gameoftrees.org/gitweb"
 >https://git.gameoftrees.org/gitweb</a>