[Pharo-dev] GSpotter fonts of evaluation results

The fonts used by GSpotter to display results does not change when changing size and this should be fixed for demo for example. Stef