Make the footer at the end of a \verbatiminput stand out a little
authorFred Drake <fdrake@acm.org>
Wed, 29 Jan 2003 05:14:44 +0000 (05:14 +0000)
committerFred Drake <fdrake@acm.org>
Wed, 29 Jan 2003 05:14:44 +0000 (05:14 +0000)
more, to make it easier to tell apart from the verbatim content.

Doc/html/style.css

index 5744630b5841850018b043f2ad2ab55b62ca6d23..4a9549fd41ff07c858aea5249974f401ff028c02 100644 (file)
@@ -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;