HoTT/HoTT — pull request #562 by JasonGross (2014-10-08 19:30:49+00:00)
Title: Add separate colors for Basics/ and Tactics/

Colors chosen mostly arbitrarily.