how to increase the font size in Playground?

> Hi,
>
> Thanks for raising this. This was a bug. It is fixed now.
>
> Cheers,
> Doru
>
>
>
> On Thu, Jul 10, 2014 at 1:38 PM, Alexandre Bergel <[hidden email]> wrote:
> Hi!
>
> Apparently Rubric does not take into account the font size. How can I increase the font size in a playground?
>
> Cheers,
> Alexandre
> --
> _,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:
> Alexandre Bergel  http://www.bergel.eu
> ^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;._,.;:~^~:;.
>
>
>
> _______________________________________________
> Moose-dev mailing list
> [hidden email]
> https://www.iam.unibe.ch/mailman/listinfo/moose-dev
>
>
>
> --
> www.tudorgirba.com
>
> "Every thing has its own flow"
> _______________________________________________
> Moose-dev mailing list
> [hidden email]
> https://www.iam.unibe.ch/mailman/listinfo/moose-dev