darobin/respec — pull request #252 by halindrome (2013-08-08 00:11:17+00:00)
Title: Changed the @role attribute on the table of contents and the IDs on major sections

The definition of @role in HTML5 requires that the values of @role on the section element not
be 'directory'. This change pushes the role attribute onto the enclosing ul element of the actual table of contents so it will be valid HTML5.