Write trait requirements in documentation.

I've not done any generated HTML in the past so please point out any formatting issues.