ajaxorg/cloud9 — pull request #1421 by giannis (2012-05-04 15:24:46+00:00)
Title: Fix top header bg

* fixes ajaxorg/cloud9infra#959

@zefhemel or @linh81 @cadorn