From: Peter Eisentraut <peter_e@gmx.net>
Date: Sat, 1 Jun 2002 20:56:00 +0000 (+0000)
Subject: Indent verbatim environments.
X-Git-Tag: REL7_3~1468
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=1731048c12b611163fb73b06d4d9d1f07369d6ab;p=postgresql

Indent verbatim environments.
---

diff --git a/doc/src/sgml/stylesheet.dsl b/doc/src/sgml/stylesheet.dsl
index e228645a98..44b6c0399d 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