Fix workspace top bar.

Fixes claroline/Claroline#286