From 8a5e6790d959cac49ab66cf4973b6ab6c3f397fd Mon Sep 17 00:00:00 2001
From: Fred Drake <fdrake@acm.org>
Date: Mon, 15 Apr 2002 18:41:31 +0000
Subject: [PATCH] Clean up the application of style to verbatim text. This
 moves styling to the stylesheet; the use of <dl> structures to control style
 sometimes produced improper indentation of subsequent text in many browsers
 when the text was already part of the <dl> structure (as in a function or
 class description).

---
 Doc/html/style.css    |  6 ++++--
 Doc/perl/l2hinit.perl |  2 +-
 Doc/perl/python.perl  | 10 +++++-----
 3 files changed, 10 insertions(+), 8 deletions(-)

diff --git a/Doc/html/style.css b/Doc/html/style.css
index 5f502ddb1fc..9b8ebf5ffed 100644
--- a/Doc/html/style.css
+++ b/Doc/html/style.css
@@ -65,9 +65,11 @@ var                     { font-family: times, serif;
 
 .titlegraphic           { vertical-align: top; }
 
-.verbatim               { color: #00008b;
+.verbatim pre           { color: #00008b;
                           font-family: lucida typewriter, lucidatypewriter,
-                                       monospace; }
+                                       monospace;
+                          font-size: 90%; }
+.verbatim               { margin-left: 2em; }
 
 .grammar                { background-color: #99ccff;
                           margin-right: 0.5in;
diff --git a/Doc/perl/l2hinit.perl b/Doc/perl/l2hinit.perl
index b7ade490845..da371bde308 100644
--- a/Doc/perl/l2hinit.perl
+++ b/Doc/perl/l2hinit.perl
@@ -577,7 +577,7 @@ sub set_depth_levels {
 # initialize() is called in the main LaTeX2HTML script (which happens
 # before style files are loaded).
 #
-%declarations = ('preform' => '<dl><dd><pre class="verbatim"></pre></dl>',
+%declarations = ('preform' => '<div class="verbatim"><pre></pre></div>',
 		 %declarations);
 
 
diff --git a/Doc/perl/python.perl b/Doc/perl/python.perl
index 5da971059a3..e8a4d470891 100644
--- a/Doc/perl/python.perl
+++ b/Doc/perl/python.perl
@@ -1915,8 +1915,8 @@ withsubitem # {} # {}
 _RAW_ARG_DEFERRED_CMDS_
 
 
-$alltt_start = '<dl><dd><pre class="verbatim">';
-$alltt_end = '</pre></dl>';
+$alltt_start = '<div class="verbatim"><pre>';
+$alltt_end = '</pre></div>';
 
 sub do_env_alltt {
     local ($_) = @_;
@@ -2008,12 +2008,12 @@ sub do_cmd_verbatiminput{
     else {
         $text = '<b>Could not locate requested file <i>$fname</i>!</b>\n';
     }
-    return ('<dl><dd><pre class="verbatim">'
+    return ("<div class=\"verbatim\">\n<pre>"
             . $text
-            . "</pre>\n<div class=\"verbatiminput-footer\">\n"
+            . "</pre>\n<div class=\"footer\">\n"
             . "<a href=\"$srcname.txt\" type=\"text/plain\""
             . ">Download as text.</a>"
-            . "\n</div>\n</dd></dl>"
+            . "\n</div></div>"
             . $_);
 }