diff options
| author | Ludovic Courtès | 2018-04-22 15:13:01 +0200 |
|---|---|---|
| committer | Ludovic Courtès | 2018-04-22 18:06:44 +0200 |
| commit | 580a0527ea23a5ee94d36ac74b302ebb22342f9e (patch) | |
| tree | de3be1c4cde217ea59d82b8ddfe6b5693bdd65ea | |
| parent | 4824e493cbe8bfcf50858299fd07fc1a4311fb7b (diff) | |
| download | skribilo-580a0527ea23a5ee94d36ac74b302ebb22342f9e.tar.gz skribilo-580a0527ea23a5ee94d36ac74b302ebb22342f9e.tar.lz skribilo-580a0527ea23a5ee94d36ac74b302ebb22342f9e.zip | |
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.
| -rw-r--r-- | doc/modules/skribilo/documentation/manual.scm | 16 | ||||
| -rw-r--r-- | 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; } |