ajaxorg/cloud9 — pull request #1981 by giannis (2012-07-25 14:20:35+00:00)
Title: * fix for "Menu item 'font-size' in wrong menu section"

* fixes ajaxorg/cloud9infra#2305

@zefhemel or @linh81 or @sergi