Yeah, just realized that's a somewhat silly question, since the wp-cli.org stylesheet is in a separate repo. :)