html: Delete redundant code.
authorBen Pfaff <blp@gnu.org>
Sun, 31 Jan 2010 04:40:30 +0000 (20:40 -0800)
committerBen Pfaff <blp@gnu.org>
Sat, 6 Feb 2010 04:14:19 +0000 (20:14 -0800)
commit0b344a9c8cf1300fabdaba1c2e59bfd4dd670db2
tree45c197dfd78b3af8a6a622f97b6a4cd7860db9b8
parent9726274d5f05f9c49a94180b649c1fbf692492e3
html: Delete redundant code.

This code was part of an earlier attempt at CSS styling for HTML output.
It does nothing useful, so remove it.
src/output/html.c