2009/10/15 ma...@mendelu.cz :
>
> I think that you can use custom css file in your .sage directory.
> I do not remember he name of this file, try to seach this group, it
> has been dicussed - here or in sage-devel
>
> Robert Marik
That's a useful idea. Despite having implemented that feature, I
I think that you can use custom css file in your .sage directory.
I do not remember he name of this file, try to seach this group, it
has been dicussed - here or in sage-devel
Robert Marik
On 16 říj, 00:21, Chris Seberino wrote:
> On Oct 15, 2:21 pm, William Stein wrote:
>
> > Are you asking
On Oct 15, 2:21 pm, William Stein wrote:
> Are you asking about TinyMCE, i.e., when you "shift-click" and edit
> plain text between cells?
yes
--~--~-~--~~~---~--~~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group
On Thu, Oct 15, 2009 at 1:32 PM, Chris Seberino wrote:
>
> What is the default font in Sage notebooks? Possible to hardcode a new
> default?
>
> If I don't use the default, I've noticed I must respecify the desired
> font in every new text area because Sage keeps defaulting back to the
> default
