aboutsummaryrefslogtreecommitdiff
path: root/doc/user
diff options
context:
space:
mode:
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; }