On Monday, 21 December 2015 at 14:54:45 UTC, anonymous wrote:
I guess, we'd set up dedicated pages as alternatives for the drop-down menus. They could be copies of the little overview snippets from the home page, or just lists of links.
Dedicated pages is a good idea and can be done trivially with ddoc macros to avoid repetition of the content in the source.
It could also be a css :hover dropdown instead of JS, but I hate drop downs on hover so I'd prefer the dedicated pages.
