summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
1778b49)
For some reason, NICEFONT has been broken forever, and nobody has ever
noticed!
-#define NICEFONT -adobe-helvetica-medium-r-normal--10-*-*-p-*-iso8859-1
+#define NICEFONT -adobe-helvetica-medium-r-normal--10-*-*-*-p-*-iso8859-1
#define FIXED fixed
! --- General configuration ---
#define FIXED fixed
! --- General configuration ---
-Axiom.hyperdoc.RmFont: -adobe-helvetica-medium-r-normal--12-*-*-p-*-iso8859-1
-Axiom.hyperdoc.BoldFont: -adobe-helvetica-bold-r-normal--12-*-*-p-*-iso8859-1
-Axiom.hyperdoc.ActiveFont: -adobe-helvetica-medium-r-normal--12-*-*-p-*-iso8859-1
-Axiom.hyperdoc.EmphasizeFont: -adobe-helvetica-medium-i-normal--12-*-*-p-*-iso8859-1
+Axiom.hyperdoc.RmFont: -adobe-helvetica-medium-r-normal--12-*-*-*-p-*-iso8859-1
+Axiom.hyperdoc.BoldFont: -adobe-helvetica-bold-r-normal--12-*-*-*-p-*-iso8859-1
+Axiom.hyperdoc.ActiveFont: -adobe-helvetica-medium-r-normal--12-*-*-*-p-*-iso8859-1
+Axiom.hyperdoc.EmphasizeFont: -adobe-helvetica-medium-i-normal--12-*-*-*-p-*-iso8859-1
Axiom.hyperdoc.ActiveColor: blue
Axiom.hyperdoc.AxiomFont: FIXED
Axiom.hyperdoc.TtFont: FIXED
Axiom.hyperdoc.ActiveColor: blue
Axiom.hyperdoc.AxiomFont: FIXED
Axiom.hyperdoc.TtFont: FIXED