commit a46950dce507f06e1385dc5b0ebfe9b826845bab
from: Stefan Sperling <stsp@stsp.name>
date: Thu Jun 02 13:34:40 2022 UTC

move a horizontal separator down for better grouping

commit - 13693a7cca786e6f53fb6b3c2aecad7b437a3f98
commit + a46950dce507f06e1385dc5b0ebfe9b826845bab
blob - 224ac90bb283c4eb5c4ededc65f63e9237e0a48b
blob + 15ee7c389e7f535470faa3fbd0995c7c9ed02bcb
--- portable.html
+++ portable.html
@@ -53,13 +53,11 @@ Though please note that separate ports exist for
 <p>
 Source code for released portable versions is available in the
 <a href="releases/portable">releases/portable</a> directory.
-</p>
-<p>
-<hr />
 The file
 <a href="https://git.gameoftrees.org/gitweb/?p=got-portable.git;a=blob_plain;f=README.portable;hb=HEAD"
 >README.portable</a> contains installation instructions.
 </p>
+<hr>
 <p>
 The official Game of Trees -portable Git repository can be cloned from
 git.gameoftrees.org: