Ask Your Question
0

Notebook font settings?

asked 2012-01-07 04:05:17 +0100

Eugene gravatar image

Is there any way to change the default set of fonts used in notebook? For interface, code editor and text output?

edit retag flag offensive close merge delete

1 Answer

Sort by ยป oldest newest most voted
2

answered 2012-01-08 01:39:29 +0100

I don't know of any easy way. An inconvenient way: edit the file SAGE_ROOT/devel/sagenb/sagenb/data/sage/css/main.css. For example, changing the line

body { background-color: white; }

to

body { background-color: white; font-family: impact, chicago; }

affects some of the fonts. Alternatively, notice that this file main.css says at the beginning

/* Warning: These .css files are automatically generated and will be overwritten */
/* when they are next generated. Please edit the SASS source located at */
/* <sagenb-spkg-root>/sass/src. Kindly refer to the readme for editing */
/* instructions at <sagenb-spkg-root>/sass */

So you could follow these directions and instead read SAGE_ROOT/devel/sagenb/sass/readme.txt and edit files in the directory SAGE_ROOT/devel/sagenb/sass/src/, and then compile the changes using compass.

edit flag offensive delete link more

Comments

A pretty complicated solution... I am now thinking about another approach - using Firefox with Stylish plugin (it allows to create css wich will override existing rules)

Eugene gravatar imageEugene ( 2012-01-08 03:08:00 +0100 )edit

Thank you for reply! A pretty complicated solution... I am now thinking about another approach - using Firefox with Stylish plugin (it allows to create css wich will override existing rules)

Eugene gravatar imageEugene ( 2012-01-08 03:08:00 +0100 )edit

that wil work only for you, while the solution above will work for anyone connecting to the Sage server

pang gravatar imagepang ( 2012-01-12 09:52:40 +0100 )edit

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

Stats

Asked: 2012-01-07 04:05:17 +0100

Seen: 835 times

Last updated: Jan 08 '12