fixed some problems with headings
[spider.git] / cmd / show / wwv.pl