On Mon, Sep 10, 2001 at 06:27:41PM +0300, Robin Turner wrote: > Would the doc team be interested in a section on using different fonts to go > in "Extended features"? I have a piece which might be suitable, covering > changing the default font (to use fonts not available in the popup), using > more than one font family in the same document and installing TeX fonts. this sounds like a great idea ! regards john -- "Since when would the sizeof any kind of pointer be zero ? Have you built a zero-bit CPU ?" - Jeffrey Turner