Thread:Extension talk:VisualEditor/How to set the VisualEditor bar size ?

On a local wiki with this configuration :
 * MW 1.25.1
 * VisualEditor-REL1_25-c1ed854.tar.gz

The bar looks like this :

On the present MediaWiki it looks smaller. Like this :

How do we set this size ?

Thanks for your help.