From: Simon Tatham <anakin@pobox.com>
Date: Thu, 7 Sep 2017 17:44:58 +0000 (+0100)
Subject: Fix borders on the HTML menu bar.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ian/git?a=commitdiff_plain;h=a0a581c8b5422bf0c5ed3fde6aa25811e4eb89fc;p=sgt-puzzles.git

Fix borders on the HTML menu bar.

Commit ef39e6e17 made a goof in which the 'New game' button had no
border on the left and an accidental extra one on the right, which I'm
really not sure how I failed to spot when I tested it yesterday.
---

diff --git a/html/jspage.pl b/html/jspage.pl
index ed971ae..37eea30 100755
--- a/html/jspage.pl
+++ b/html/jspage.pl
@@ -213,8 +213,8 @@ ${unfinishedpara}
 ></ul></li
 ><li>Type...<ul id="gametype"></ul></li
 ><li class="separator"></li
-><li id="new">New game</li
-><li id="restart" class="afterseparator">Restart game</li
+><li id="new" class="afterseparator">New game</li
+><li id="restart">Restart game</li
 ><li id="undo">Undo move</li
 ><li id="redo">Redo move</li
 ><li id="solve">Solve game</li