Darker colours
Adjust ugly text spacings
Fix bug in type link highlighting
Fix bug in padding of unexpanded includes
Fix bug in the handling of include summaries