do_cmd_unspecified(): New functions to reflect previously unused markup.
do_cmd_file(): Simplified generated markup to only make use of the
existing stylesheet.
do_cmd_makevar(): Make the markup more stylesheet-friendly.
get_rfc_url(): New function; returns the URL for a numbered IETF RFC.
do_cmd_rfc(): Use get_rfc_url() instead of hard-coding in the HTML
formatting.
do_cmd_seerfc(): New function.
do_env_definitions(): Small change to avoid "local".
do_cmd_citetitle(): New function. Extracts one optional and one
required parameter. If the optional one is
provided, it is used a URL (or relative URL) and
the text of the required parameter is turned into
a hyperlink.
l2hinit.perl version of the function (which
overrode a version in latex2html), but
do_cmd_index() was overridden. Since
do_cmd_index() was the only caller, we can trash
this.
define_indexing_macro(): New function used during setup to support
more dynamic dispatch for indexing.
process_index_macros(): New function; implement dynamic dispatching
of indexing support functions, allowing many
targets used in indexing to be shared by
multiple index entries. I.e., something like
\index{foo}\bifuncindex{bar} can now share a
single target anchor.
These indexing changes reduce the amount of clutter in the generated
HTML files. In the reference manual, this cuts the number of targets
by 44%. Targets are less affected when generated by environments
rather than macros.
fixes a rendering problem on IE5.
General adjustments to the table* environments, including using
<thead> and <tbody>. Attempt to adjust the vertical alignment of the
table cells so that the baseline of the first cell matches the
baseline of the remaining cells: When the first cell is small and the
second cell of the same row is multi-line, the first cell was
vertically centered by default. Specifying valign=baseline fixes the
problem on IE, but Netscape seems to ignore both valign=top and
valign=baseline (even though valign is NS's fault!). Make the
horizontal alignment of 'p' columns left instead of center (for the
headings).
