Fossil

Changed hamburger menu drop-down menu from 33% of the screen width to
90%: it works better on small screens, and it allows the sitemap to go
multi-column on wider screens. Also added some right-side padding to
balance the padding added for

Timing tweaks: made "hide borders" hack occur about the same time as the
CSS transition finishes, and increased the menu show delay still further
to make it work for Firefox.
check-in: 7bb68023 user: wyoung tags: js-hamburger-menu

Changed hamburger menu drop-down menu from 33% of the screen width to
90%: it works better on small screens, and it allows the sitemap to go
multi-column on wider screens. Also added some right-side padding to
balance the padding added for

, since it is already a block
level element, so we don't need a div wrapper on it. And then there's
the real reason, which is that we want the multicolumn styling to work
on the drop-down hamburger menu version as well.