! .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 ---
! --- 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
! --- Emacs settings ---
-emacs.geometry: 78x33
+emacs.geometry: 77x33
Emacs.pane.menubar.font: NICEFONT
Emacs.menu*.font: NICEFONT
Emacs.font: FIXED
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