I have added the #'s 0-9 as a new font on the Cave Fonts download page
at http://cavediggers.com/fonts/ . These #'s are the same font style
as the Ceiling Height and Pit Depths to insure consistency throughout
your map project.
Simply download...unzip...drag and drop into the Windows/Fonts folder
and they will be ready to use.
Mark Passerby, Cavediggers.com