claroline/CoreBundle — pull request #37 by ngodfraind (2013-09-20 07:12:34+00:00)
Title: Fix workspace top bar.

Fixes claroline/Claroline#286