chiark / gitweb /
Fix borders on the HTML menu bar.
authorSimon Tatham <anakin@pobox.com>
Thu, 7 Sep 2017 17:44:58 +0000 (18:44 +0100)
committerSimon Tatham <anakin@pobox.com>
Thu, 7 Sep 2017 17:44:58 +0000 (18:44 +0100)
commita0a581c8b5422bf0c5ed3fde6aa25811e4eb89fc
treea2ed13040b9af8ffc37e17445b50b1aac583273d
parentef39e6e1739435f8c079bc2d94765e735da0b52a
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