codenvy/ide — pull request #195 by kevinpollet (2014-09-29 12:58:55+00:00)
Title: IDEUI-281 Increase font size in tooltips for infobar

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