Added markup and styling for assertion property headings, for visual clarity.
Added number of assertions to source list.
Added comment heading.