More styling changes, add TOC
Merge branch 'jonathan'
Merged
Merge remote-tracking branch 'origin/Melissa'
Merge remote-tracking branch 'origin/Melissa'
Detailed sequence diagram
debug
merge
Merge branch 'Melissa'
Merge branch 'jonathan'