[Moose-dev] Re: 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 <alexandre.bergel(a)me.com> 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 Moose-dev(a)iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev -- www.tudorgirba.com "Every thing has its own flow" _______________________________________________ Moose-dev mailing list Moose-dev(a)iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev