Handle indentation of verbatim environments in HTML output via CSS.

doc/src/sgml/stylesheet.css

@@ -1,4 +1,4 @@
-/* $Header: /cvsroot/pgsql/doc/src/sgml/stylesheet.css,v 1.3 2002/03/11 05:02:04 petere Exp $ */
+/* $Header: /cvsroot/pgsql/doc/src/sgml/stylesheet.css,v 1.4 2002/10/12 16:33:43 petere Exp $ */
 
 /* color scheme similar to www.postgresql.org */
 
@@ -53,6 +53,10 @@ DIV.EXAMPLE {
 	padding-bottom: 0ex;
 }
 
+.SCREEN, .SYNOPSIS, .PROGRAMLISTING {
+	margin-left: 4ex;
+}
+
 /* miscellaneous */
 
 .NAVHEADER TH	{ font-style: italic; }

doc/src/sgml/stylesheet.dsl

@@ -1,4 +1,4 @@
-<!-- $Header: /cvsroot/pgsql/doc/src/sgml/stylesheet.dsl,v 1.21 2002/08/05 19:43:31 petere Exp $ -->
+<!-- $Header: /cvsroot/pgsql/doc/src/sgml/stylesheet.dsl,v 1.22 2002/10/12 16:33:43 petere Exp $ -->
 <!DOCTYPE style-sheet PUBLIC "-//James Clark//DTD DSSSL Style Sheet//EN" [
 
 <!-- must turn on one of these with -i on the jade command line -->
@@ -52,19 +52,16 @@
 (define %honorific-punctuation% "")
 
 ;; Change display of some elements
+(element command ($mono-seq$))
 (element envar ($mono-seq$))
 (element lineannotation ($italic-seq$))
 (element structfield ($mono-seq$))
 (element structname ($mono-seq$))
 (element symbol ($mono-seq$))
+(element token ($mono-seq$))
 (element type ($mono-seq$))
 (element (programlisting emphasis) ($bold-seq$)) ;; to highlight sections of code
 
-;; Indentation of verbatim environments
-(define %indent-programlisting-lines% "    ")
-(define %indent-screen-lines% "    ")
-(define %indent-synopsis-lines% "    ")
-
 
 ;; Bibliography things
 
@@ -244,6 +241,12 @@
 (define %refentry-new-page%     #t)
 (define %refentry-keep%         #f)
 
+;; Indentation of verbatim environments.  (This should really be done
+;; with start-indent in DSSSL.)
+(define %indent-programlisting-lines% "    ")
+(define %indent-screen-lines% "    ")
+(define %indent-synopsis-lines% "    ")
+
 
 ;; Default graphic format: Jadetex wants eps, pdfjadetex wants pdf.
 ;; (Note that pdfjadetex will not accept eps, that's why we need to