On Monday, 21 December 2015 at 15:09:06 UTC, Adam D. Ruppe wrote:
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.
We could use the :hover dropdowns as a fallback for the JS, though. It might not be ideal, but isn't that basically the definition of a fallback?
