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.

1 files changed, 1 insertions, 0 deletions

diff --git a/Doc/html/style.css b/Doc/html/style.css
index 3655666..b24998c 100644
--- a/Doc/html/style.css
+++ b/Doc/html/style.css
@@ -72,6 +72,7 @@ var                     { font-family: times, serif;
                           font-size: 85%; }
 
 .email                  { font-family: avantgarde, sans-serif; }
+.mailheader             { font-family: avantgarde, sans-serif; }
 .mimetype               { font-family: avantgarde, sans-serif; }
 .newsgroup              { font-family: avantgarde, sans-serif; }
 .url                    { font-family: avantgarde, sans-serif; }