Move the styling for the HTML version of \mailheader into the CSS file.

In both the HTML and typeset versions of the documentation, add a colon
after the name of a mail header so that it is more easily distinguished
from other text.
This commit is contained in:
Fred Drake 2001-09-26 18:46:36 +00:00
parent 203d91a461
commit 479384e1ff
3 changed files with 3 additions and 2 deletions

View file

@ -213,7 +213,7 @@ sub do_cmd_longprogramopt{
sub do_cmd_email{
return use_wrappers(@_[0], '<span class="email">', '</span>'); }
sub do_cmd_mailheader{
return use_wrappers(@_[0], '<tt class="mimeheader">', '</tt>'); }
return use_wrappers(@_[0], '<span class="mailheader">', ':</span>'); }
sub do_cmd_mimetype{
return use_wrappers(@_[0], '<span class="mimetype">', '</span>'); }
sub do_cmd_var{