Indent verbatim environments.

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