IDEUI-281 Increase font size in tooltips for infobar
Merge pull request #195 from kevinpollet/IDEUI-281

IDEUI-281 Increase font size in tooltips for infobar