aboutsummaryrefslogtreecommitdiff
path: root/doc/user
diff options
context:
space:
mode:
authorLudovic Courtès2018-04-22 15:13:01 +0200
committerLudovic Courtès2018-04-22 18:06:44 +0200
commit580a0527ea23a5ee94d36ac74b302ebb22342f9e (patch)
treede3be1c4cde217ea59d82b8ddfe6b5693bdd65ea /doc/user
parent4824e493cbe8bfcf50858299fd07fc1a4311fb7b (diff)
downloadskribilo-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.
Diffstat (limited to 'doc/user')
-rw-r--r--doc/user/skribilo.css18
1 files changed, 17 insertions, 1 deletions
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; }