From 7e39172b7aca0bde958251078b7c60a0c2feb7a2 Mon Sep 17 00:00:00 2001
From: Mark Wooding <mdw@distorted.org.uk>
Date: Thu, 31 Jan 2008 13:34:38 +0000
Subject: [PATCH] Xdefaults: Configure the Axiom HyperDoc browser to be less
 ugly.

It shows its age, poor thing, but it's damned useful.
---
 Xdefaults | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/Xdefaults b/Xdefaults
index 4e2460c..60a043a 100644
--- a/Xdefaults
+++ b/Xdefaults
@@ -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
-- 
2.11.0