More precisely, the width of the characters are hard coded.
This document was generated on 9 June 1997 using the texi2html translator version 1.51.