In a fresh installation of Natty Narwhal HyperDoc (both in FriCAS and Axiom) seems to miss some fonts:
(HyperDoc) Cannot load font -adobe-courier-medium-r-normal--18-*-*-*-m-*-iso8859-1 ; using default. (HyperDoc) Cannot load font -adobe-courier-bold-r-normal--18-*-*-*-m-*-iso8859-1 ; using default. (HyperDoc) Cannot load font -adobe-courier-bold-o-normal--18-*-*-*-m-*-iso8859-1 ; using default. (HyperDoc) Cannot load font -adobe-courier-medium-o-normal--18-*-*-*-m-*-iso8859-1 ; using default. (HyperDoc) Cannot load font -adobe-courier-bold-r-normal--18-*-*-*-m-*-iso8859-1 ; using default.
As a result HyperDoc uses some small poorly visible fonts. To solve the problem one should actually install these fonts. I’m not sure where are they exactly, but installing the following packages helps:
xfonts-100dpi xfonts-75dpi
HyperDoc Customization
Before I actually resolved the issue described above I’ve tried to customize HyperDoc via .Xdefaults file, as described in the Axiom Book. I should say that after all I use the default HyperDoc with the proper default fonts — it has its charm.
Nevertheless here are some hints on tuning HyperDoc. First of all, the right file is .Xresources rather than .Xdefaults (this is valid at least for Ubuntu). This file should be placed into your home directory. I’ve made a template for it based on Axiom book, which you can download. Note that comments are preceded by ! (bang) instead of #.
You probably will be interested in fonts available for you. Issue
xlsfonts
command to get the list of X fonts installed. After everything is done with .Xresources you can update your configuration on the fly with
xrdb -merge ~/.Xresources
That’s all I can help you with.
The shell download link is broken.
After experimenting with this a bit. It doesn’t look like Type1 fonts or TTF fonts are supported by Hyperdoc.
Since the link is broken. Here is what I added to my .Xresources