2 files changed, 29 insertions, 5 deletions

diff --git a/doc/modules/skribilo/documentation/manual.scm b/doc/modules/skribilo/documentation/manual.scm
index 8a86216..93222d5 100644
--- a/doc/modules/skribilo/documentation/manual.scm
+++ b/doc/modules/skribilo/documentation/manual.scm
@@ -1,7 +1,7 @@
 ;;; manual.scm  --  Skribilo manuals and documentation style.
 ;;; -*- coding: iso-8859-1 -*-
 ;;;
-;;; Copyright 2007, 2008, 2009, 2012  Ludovic Courtès <ludo@gnu.org>
+;;; Copyright 2007, 2008, 2009, 2012, 2018  Ludovic Courtès <ludo@gnu.org>
 ;;; Copyright 2003, 2004  Manuel Serrano
 ;;;
 ;;;
@@ -216,9 +216,12 @@
      (resolve (lambda (n e env)
                 ;; Same trick as for `ctrtable': don't center frames (which
                 ;; are actually `@Tbl') in Lout.
-                (if (engine-format? "lout" e)
-                    (! "\n@LP\n@ID @F { $1 }\n@LP\n" pr)
-                    f)))))
+                (cond ((engine-format? "lout" e)
+                       (! "\n@LP\n@ID @F { $1 }\n@LP\n" pr))
+                      ((engine-format? "html" e)
+                       (! "\n<div class=\"skribilo-manual-disp \
+skribilo-manual-prgm\">$1</div>\n" pr))
+                      (else f))))))
 
 ;*---------------------------------------------------------------------*/
 ;*    disp ...                                                         */
@@ -234,6 +237,11 @@
                        (if verb
                            (pre (the-body opts))
                            (the-body opts))))
+                   ((engine-format? "html" e)
+                    (! "\n<div class=\"skribilo-manual-disp\">$1</div>\n"
+                       (if verb
+                           (pre (the-body opts))
+                           (the-body opts))))
                    (else
                     (center
                      (frame :margin 5 :border 0 :width *prgm-width*
diff --git a/doc/user/skribilo.css b/doc/user/skribilo.css
index 6712477..df021ac 100644
--- a/doc/user/skribilo.css
+++ b/doc/user/skribilo.css
@@ -2,7 +2,7 @@
 
    CSS style sheet for the Skribilo manual.
 
-   Copyright 2007, 2008, 2012 Ludovic Courtès <ludo@gnu.org>
+   Copyright 2007, 2008, 2012, 2018 Ludovic Courtès <ludo@gnu.org>
 
    Copying and distribution of this file, with or without modification,
    are permitted in any medium without royalty provided the copyright
@@ -139,6 +139,22 @@ table.toc {
   align: center;
 }
 
+.skribilo-manual-prgm {				  /* for 'prgm' */
+  font-family: fixed-width, Courier;
+  text-align: left;
+}
+
+.skribilo-manual-disp {				  /* for 'disp' */
+  border-left: 1px dotted black;
+  padding-left: 1em;
+  padding-right: 1em;
+  margin-top: 1em;
+  margin-bottom: 1em;
+  margin-left: 0em;
+  margin-right: 3em;
+  line-height: 1.5;
+};
+
 /* Links.  */
 
 a { text-decoration: none; border: 0 0 0 0; border-style: none; }