#1: Styles for table of content were moved to external stylesheet