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.
This commit is contained in:
Simon Tatham
2017-09-07 18:44:58 +01:00
parent ef39e6e173
commit a0a581c8b5

View File

@ -213,8 +213,8 @@ ${unfinishedpara}
></ul></li ></ul></li
><li>Type...<ul id="gametype"></ul></li ><li>Type...<ul id="gametype"></ul></li
><li class="separator"></li ><li class="separator"></li
><li id="new">New game</li ><li id="new" class="afterseparator">New game</li
><li id="restart" class="afterseparator">Restart game</li ><li id="restart">Restart game</li
><li id="undo">Undo move</li ><li id="undo">Undo move</li
><li id="redo">Redo move</li ><li id="redo">Redo move</li
><li id="solve">Solve game</li ><li id="solve">Solve game</li