X-Git-Url: https://git.distorted.org.uk/~mdw/profile/blobdiff_plain/7e39172b7aca0bde958251078b7c60a0c2feb7a2..9cbbe3329b0b039c3ee83841a19765a7aa3d4201:/Xdefaults

diff --git a/Xdefaults b/Xdefaults
index 60a043a..e7e23b8 100644
--- a/Xdefaults
+++ b/Xdefaults
@@ -2,7 +2,7 @@
 ! .Xdefaults
 !
 
-#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 ---
@@ -195,10 +195,10 @@ xzx*libDir: .:/usr/lib/xzx:/usr/local/share/spectrum
 
 ! --- Axiom HyperDoc ---
 
-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