From 580a0527ea23a5ee94d36ac74b302ebb22342f9e Mon Sep 17 00:00:00 2001
From: Ludovic Courtès
Date: Sun, 22 Apr 2018 15:13:01 +0200
Subject: doc: In HTML, 'prgm' and 'disp' presentation moved to CSS.

* doc/modules/skribilo/documentation/manual.scm (prgm): Add a case for
HTML.
(disp): Likewise.
* doc/user/skribilo.css (.skribilo-manual-prgm, .skribilo-manual-disp):
New items.
---
 doc/modules/skribilo/documentation/manual.scm | 16 ++++++++++++----
 doc/user/skribilo.css                         | 18 +++++++++++++++++-
 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; }
-- 
cgit v1.2.3