On Thursday, 3 May 2012 at 08:16:48 UTC, Rory McGuire wrote:
Would be great if you could make it an accordion with a live search at thetop.
An accordion is a nice idea, and Bootstrap has good support for it.
Where would you have the search, exactly, though? And do you mean the existing symbol search, a project-wide search (which is non-trivial), or a module search?
