codenvy/ide — pull request #367 by kevinpollet (2014-12-04 13:59:44+00:00)
Title: IDEUI-398 Fix toggle and push button font family

https://jira.codenvycorp.com/browse/IDEUI-398