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/user/skribilo.css | 18 +++++++++++++++++- 1 file changed, 17 insertions(+), 1 deletion(-) (limited to 'doc/user') 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 + Copyright 2007, 2008, 2012, 2018 Ludovic Courtès 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