Issue #1913692 by mgifford: Convert Seven to HTML5.
Followup: Issue #1913692 by mgifford: Convert Seven to HTML5.
Merge pull request #215 from hellomrcat/235

Issue #1913692 by mgifford: Convert Seven to HTML5.