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 ed971ae527903e36be499dc5bbe07516d9fad782..37eea305caab599bd8e5113bf5195719f68074f2 100755 (executable)
--- 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