ref: a0a581c8b5422bf0c5ed3fde6aa25811e4eb89fc
parent: ef39e6e1739435f8c079bc2d94765e735da0b52a
author: Simon Tatham <anakin@pobox.com>
date: Thu Sep 7 14:44:58 EDT 2017
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.
--- a/html/jspage.pl
+++ b/html/jspage.pl
@@ -213,8 +213,8 @@
></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