Andy McFadden 7fc323cdef Don't strip topnav on narrow devices ...

The idea is to remove everything but the "HOME" link from the topnav
bar on very narrow devices, so that it doesn't look cramped.  Right
now we don't have a ton of stuff in topnav, and losing the tutorial
link is annoying.

If we want to restore this feature, we should also add a link to the
tutorial in the body of the page.

2021-06-23 13:32:04 -07:00

6.8 KiB

Raw Blame History

View Raw