more HTML styling detail changes

2 files changed, 16 insertions, 4 deletions

diff --git a/Doc/html/style.css b/Doc/html/style.css
index ce42ffb..4ce5126 100644
--- a/Doc/html/style.css
+++ b/Doc/html/style.css
@@ -50,6 +50,14 @@ h1                      { font-size: 180%; }
 h2                      { font-size: 150%; }
 h3, h4                  { font-size: 120%; }
 
+/* These are section titles used in navigation links, so make sure we
+ * match the section header font here, even it not the weight.
+ */
+.sectref                { font-family: avantgarde, sans-serif; }
+/* And the label before the titles in navigation: */
+.navlabel               { font-size: 85%; }
+
+
 /* LaTeX2HTML insists on inserting <br> elements into headers which
  * are marked with \label.  This little bit of CSS magic ensures that
  * these elements don't cause spurious whitespace to be added.
@@ -63,6 +71,8 @@ var                     { font-family: times, serif;
                           font-style: italic;
                           font-weight: normal; }
 
+.Unix                   { font-variant: small-caps; }
+
 .typelabel              { font-family: lucida, sans-serif; }
 
 .navigation td          { background-color: #99ccff;
@@ -89,7 +99,9 @@ div.note                { background-color: #fffaf0;
 div.note .label         { margin-right: 0.5em;
                           font-family: sans-serif; }
 
-.release-info           { font-style: italic; }
+address                 { font-size: 80%; }
+.release-info           { font-style: italic;
+                          font-size: 80%; }
 
 .titlegraphic           { vertical-align: top; }
 
diff --git a/Doc/perl/python.perl b/Doc/perl/python.perl
index be2443d..2671bbc 100644
--- a/Doc/perl/python.perl
+++ b/Doc/perl/python.perl
@@ -106,7 +106,7 @@ sub do_cmd_sub{
 # words typeset in a special way (not in HTML though)
 
 sub do_cmd_ABC{ 'ABC' . $_[0]; }
-sub do_cmd_UNIX{ '<font style="font-variant: small-caps;">Unix</font>'
+sub do_cmd_UNIX{ '<span class="Unix">Unix</span>'
                  . $_[0]; }
 sub do_cmd_ASCII{ 'ASCII' . $_[0]; }
 sub do_cmd_POSIX{ 'POSIX' . $_[0]; }
@@ -239,7 +239,7 @@ sub do_cmd_var{
 sub do_cmd_dfn{
     return use_wrappers($_[0], '<i class="dfn">', '</i>'); }
 sub do_cmd_emph{
-    return use_wrappers($_[0], '<i>', '</i>'); }
+    return use_wrappers($_[0], '<em>', '</em>'); }
 sub do_cmd_file{
     return use_wrappers($_[0], '<span class="file">', '</span>'); }
 sub do_cmd_filenq{
@@ -249,7 +249,7 @@ sub do_cmd_samp{
 sub do_cmd_kbd{
     return use_wrappers($_[0], '<kbd>', '</kbd>'); }
 sub do_cmd_strong{
-    return use_wrappers($_[0], '<b>', '</b>'); }
+    return use_wrappers($_[0], '<strong>', '</strong>'); }
 sub do_cmd_textbf{
     return use_wrappers($_[0], '<b>', '</b>'); }
 sub do_cmd_textit{