Several updates.

Use HTML5 tags and ARIA roles. Other updates.