Modified ExpandingFactWidget and SectionPickerWidget to handle wrapping of text better.
Added colours to fact types, which are shown on ExpandingFactWidgets. Added tests.
The fact statement and proof body text edits only show initially if they are empty. Added tests for this.