Clash between documentation title and JS

The menu JS works on a class derived from the title, which is sub
optimal. Rename to docs as a work around.