3.8 X Window Resources for HyperDoc
You can control the appearance of HyperDoc while running under Version
11 HyperDoc X Window System defaults of the X Window System by
placing the following resources X Window System in the file
.Xdefaults in your home directory. file:.Xdefaults
In what follows, font is any valid X11 font name
font (for example, Rom14) and color is any valid
X11 color color specification (for example, NavyBlue).
For more information about fonts and colors, refer to the X Window
documentation for your system.
- Axiom.hyperdoc.RmFont: font
-
This is the standard text font.
The default value is Rom14
- Axiom.hyperdoc.RmColor: color
-
This is the standard text color.
The default value is black
- Axiom.hyperdoc.ActiveFont: font
-
This is the font used for HyperDoc link buttons.
The default value is Bld14
- Axiom.hyperdoc.ActiveColor: color
-
This is the color used for HyperDoc link buttons.
The default value is black
- Axiom.hyperdoc.AxiomFont: font
-
This is the font used for active Axiom commands.
The default value is Bld14
- Axiom.hyperdoc.AxiomColor: color
-
This is the color used for active Axiom commands.
The default value is black
- Axiom.hyperdoc.BoldFont: font
-
This is the font used for bold face.
The default value is Bld14
- Axiom.hyperdoc.BoldColor: color
-
This is the color used for bold face.
The default value is black
- Axiom.hyperdoc.TtFont: font
-
This is the font used for Axiom output in HyperDoc.
This font must be fixed-width.
The default value is Rom14
- Axiom.hyperdoc.TtColor: color
-
This is the color used for Axiom output in HyperDoc.
The default value is black
- Axiom.hyperdoc.EmphasizeFont: font
-
This is the font used for italics.
The default value is Itl14
- Axiom.hyperdoc.EmphasizeColor: color
-
This is the color used for italics.
The default value is black
- Axiom.hyperdoc.InputBackground: color
-
This is the color used as the background for input areas.
The default value is black
- Axiom.hyperdoc.InputForeground: color
-
This is the color used as the foreground for input areas.
The default value is white
- Axiom.hyperdoc.BorderColor: color
-
This is the color used for drawing border lines.
The default value is black
- Axiom.hyperdoc.Background: color
-
This is the color used for the background of all windows.
The default value is white