ajaxorg/cloud9 — comment on commit b9a54547ace036953ecca483eedfe72a4abff385
File: client/style/skins.xml line 7880
By mikedeboer:

fixed in f3f7a57