From 74cb0406842b50f93cc288e53e80353a7e924323 Mon Sep 17 00:00:00 2001 From: Peter Eisentraut Date: Sat, 1 Jun 2002 20:56:00 +0000 Subject: [PATCH] Indent verbatim environments. --- doc/src/sgml/stylesheet.dsl | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/doc/src/sgml/stylesheet.dsl b/doc/src/sgml/stylesheet.dsl index 50c7dfa081..cf73e5c72a 100644 --- a/doc/src/sgml/stylesheet.dsl +++ b/doc/src/sgml/stylesheet.dsl @@ -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 -- 2.39.5