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(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"