Handle indentation of verbatim environments in HTML output via CSS.

diff --git a/doc/src/sgml/stylesheet.css b/doc/src/sgml/stylesheet.css
index 2dacf601323aeb4cd23af9373b6c29c8556d63e6..9852436f22b1a73b251a90d05508b14a73043ed1 100644 (file)
--- a/doc/src/sgml/stylesheet.css
+++ b/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; }

diff --git a/doc/src/sgml/stylesheet.dsl b/doc/src/sgml/stylesheet.dsl
index 6da17b003aa02b7977f7594d32fee38d275fd65d..55a97078f969af283b12ae78207f0174847099cf 100644 (file)
--- a/doc/src/sgml/stylesheet.dsl
+++ b/doc/src/sgml/stylesheet.dsl
@@ -1,4 +1,4 @@
-
+
 
 
 
@@ -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