GWT: X.X, Font size depending on portal mode

If the portal is set to mode=expo, then the font size must be higher

(from redmine: issue id 1302, created on 2015/04/08 by Matthieu Decorde)