What is the default font in Sage notebooks? Possible to hardcode a new default?

54 views
Skip to first unread message

Chris Seberino

unread,
Oct 15, 2009, 4:32:50 PM10/15/09
to sage-support
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 font.

cs

William Stein

unread,
Oct 15, 2009, 5:21:48 PM10/15/09
to sage-s...@googlegroups.com

Are you asking about TinyMCE, i.e., when you "shift-click" and edit
plain text between cells?

William

Chris Seberino

unread,
Oct 15, 2009, 6:21:53 PM10/15/09
to sage-support


On Oct 15, 2:21 pm, William Stein <wst...@gmail.com> wrote:
> Are you asking about TinyMCE, i.e., when you "shift-click" and edit
> plain text between cells?

yes

ma...@mendelu.cz

unread,
Oct 16, 2009, 2:55:29 AM10/16/09
to sage-support
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

William Stein

unread,
Oct 16, 2009, 9:38:34 AM10/16/09
to sage-support
2009/10/15 ma...@mendelu.cz <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
forgot about it. Anyway, if you are running your own Sage notebook
server, you can edit
the file

$HOME/.sage/notebook.css

and put something like:

div.text_cell {
font-size:30px;
font-family:arial;
}

in it. Then if you refresh your worksheets you'll see that text
between compute cells is all 30px Arial by default. This doesn't
impact how they *look* while editing in TinyMCE though, and this
change won't be seen by users if you share your worksheet with
somebody else.

But, depending on what you're doing, this might be useful. E.g., if
this is just for personal use or presentations.

William

Reply all
Reply to author
Forward
0 new messages