diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2002-06-01 20:56:00 +0000 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2002-06-01 20:56:00 +0000 |
| commit | 1731048c12b611163fb73b06d4d9d1f07369d6ab (patch) | |
| tree | 3c35c552913383d576e9a5c841bdb4319f2d6e77 /doc/src | |
| parent | 50b7148218c6d813a60be6aff97df24ba9842387 (diff) | |
Indent verbatim environments.
Diffstat (limited to 'doc/src')
| -rw-r--r-- | doc/src/sgml/stylesheet.dsl | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/doc/src/sgml/stylesheet.dsl b/doc/src/sgml/stylesheet.dsl index e228645a985..44b6c0399d6 100644 --- a/doc/src/sgml/stylesheet.dsl +++ b/doc/src/sgml/stylesheet.dsl @@ -1,4 +1,4 @@ -<!-- $Header: /cvsroot/pgsql/doc/src/sgml/stylesheet.dsl,v 1.19 2002/01/30 21:53:40 petere Exp $ --> +<!-- $Header: /cvsroot/pgsql/doc/src/sgml/stylesheet.dsl,v 1.20 2002/06/01 20:56:00 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 --> @@ -58,6 +58,11 @@ (element symbol ($mono-seq$)) (element type ($mono-seq$)) +;; Indentation of verbatim environments +(define %indent-programlisting-lines% " ") +(define %indent-screen-lines% " ") +(define %indent-synopsis-lines% " ") + ;; Bibliography things |