Skip to main content
5 events
when toggle format what by license comment
Jun 16, 2015 at 13:31 vote accept kjo
Sep 6, 2013 at 0:44 answer added m_goldberg timeline score: 3
Sep 5, 2013 at 21:06 comment added István Zachar $DefaultFont is obsolete, and if you change it substantially (both family and size, e.g. $DefaultFont={"Times", 20};), you will see that the output does not use it at all. To style plot texts, use the Plot options LabelStyle, FrameTicksStyle, DefaultStyle, BaseStyle, etc.
Sep 5, 2013 at 21:02 history edited kjo CC BY-SA 3.0
added 183 characters in body
Sep 5, 2013 at 20:41 history asked kjo CC BY-SA 3.0