X-Git-Url: https://git.distorted.org.uk/~mdw/profile/blobdiff_plain/852cd5fbddafbfed93df4cda8ba366b14922e95d..8a7e906d367d31b3734c5ea656bd4fc3b3a74168:/Xdefaults

diff --git a/Xdefaults b/Xdefaults
index 4e2460c..62ba871 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 ---
@@ -38,7 +38,7 @@ edwin*font:		FIXED
 ! --- Special settings for xterm ---
 
 XTerm.vt100.geometry:	80x35
-XTerm.vt100.font:	FIXED
+XTerm.vt100*font:	FIXED
 XTerm.vt100.foreground:	white
 XTerm.vt100.background:	black
 XTerm*scrollBar:	true
@@ -62,7 +62,7 @@ XConsole*geometry:	485x455
 
 ! --- Emacs settings ---
 
-emacs.geometry:		78x33
+emacs.geometry:		77x33
 Emacs.pane.menubar.font: NICEFONT
 Emacs.menu*.font:	NICEFONT
 Emacs.font:		FIXED
@@ -192,3 +192,16 @@ xzx*joyFire: space
 xzx*sound: true
 xzx*mf128: true
 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.ActiveColor: blue
+Axiom.hyperdoc.AxiomFont: FIXED
+Axiom.hyperdoc.TtFont: FIXED
+Axiom.hyperdoc.InputForeground: black
+Axiom.hyperdoc.InputBackground: white
+Axiom.hyperdoc.Background: lightgrey