ajaxorg/cloud9 — pull request #1540 by gjtorikian (2012-05-15 21:13:16+00:00)
Title: Fix tab heights

Fix for bleeding tabs, straight from Ruben.