From a0a581c8b5422bf0c5ed3fde6aa25811e4eb89fc Mon Sep 17 00:00:00 2001
From: Simon Tatham <anakin@pobox.com>
Date: Thu, 7 Sep 2017 18:44:58 +0100
Subject: [PATCH] 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.
---
 html/jspage.pl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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