cvan/zamboni — pull request #1 by cvan (2013-02-28 05:07:42+00:00)
Title: LESS cleanup and MORE separation between consumer styles and devhub styles

That's right. The Developer Tools, Reviewer Tools, Lookup Tools, and Statistics styles do not depend on consumer styles anymore - and vice-versa.