Make the footer at the end of a \verbatiminput stand out a little

more, to make it easier to tell apart from the verbatim content.

Make the footer at the end of a \verbatiminput stand out a little
more, to make it easier to tell apart from the verbatim content.
49c59558 · Fred Drake · 7934bc23 · 49c59558
Commit 49c59558 authored Jan 29, 2003 by Fred Drake
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 0 deletions

Doc/html/style.css Doc/html/style.css +4 -0

No files found.
--- a/Doc/html/style.css
+++ b/Doc/html/style.css
@@ -89,6 +89,10 @@ div.note .label         { margin-right: 0.5em;
                                       monospace;
                          font-size: 90%; }
 .verbatim               { margin-left: 2em; }
+.verbatim .footer       { padding: 0.05in;
+                          font-size: 85%;
+                          background-color: #99ccff;
+                          margin-right: 0.5in; }

 .grammar                { background-color: #99ccff;
                          margin-right: 0.5in;