Test of HTML5 nav element

Test content

This should be bold too.

Test of FormatBlock behavior. This text should have a green border.

DOM for the above (so this test can dump as text)