> > yesterday, i had exactly the same idea ;) > > Harald, glad I wasn't the only one! > > > (but please make it small > > and not very distracting). > > Yes, the request for small font is in the trac ticket. >
For those who were interested in this, a patch is up for review at http://trac.sagemath.org/sage_trac/ticket/4177 - kcrisman --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
