11 Jul
2014
11 Jul
'14
10:17 p.m.
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@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@iam.unibe.ch https://www.iam.unibe.ch/mailman/listinfo/moose-dev
--
www.tudorgirba.com
"Every thing has its own flow"