From 3fd26dcb45f4a9ad6a6adb9d7825c7646503027c Mon Sep 17 00:00:00 2001 From: Nikolaus Schulz Date: Sun, 4 Nov 2007 22:13:59 +0000 Subject: [PATCH] Files added: db2html.dsl (DSSSL stylesheet) manpage.css (HTML stylesheet) Updated Makefile to let docbook2html use db2html.dsl. --- Makefile | 4 ++-- db2html.dsl | 25 +++++++++++++++++++++++++ manpage.css | 31 +++++++++++++++++++++++++++++++ 3 files changed, 58 insertions(+), 2 deletions(-) create mode 100644 db2html.dsl create mode 100644 manpage.css diff --git a/Makefile b/Makefile index 48f3056..4f925af 100644 --- a/Makefile +++ b/Makefile @@ -49,6 +49,6 @@ archivemail.1: archivemail.sgml docbook2man archivemail.sgml chmod 644 archivemail.1 -archivemail.html: archivemail.sgml - docbook2html -u archivemail.sgml +archivemail.html: archivemail.sgml db2html.dsl + docbook2html --dsl db2html.dsl -u archivemail.sgml chmod 644 archivemail.html diff --git a/db2html.dsl b/db2html.dsl new file mode 100644 index 0000000..f1021ea --- /dev/null +++ b/db2html.dsl @@ -0,0 +1,25 @@ + +]> + + + + + +(define %css-decoration% + ; Enable html element decoration with 'style=...' css? +#t) + +(define %stylesheet% + ; Needed if we want to use a css file +"manpage.css") + +(define %shade-verbatim% + ;; Should verbatim environments be shaded? + #t) + + + + + diff --git a/manpage.css b/manpage.css new file mode 100644 index 0000000..731cec4 --- /dev/null +++ b/manpage.css @@ -0,0 +1,31 @@ +body { + font-family: "Times New Roman", serif; + font-size: 12pt; + padding: 2%; + line-height: 130%; + margin: 0; + /*color: #036;*/ +} +h1 { + font-size: 220%; + font-weight: bold; + /*text-align: center;*/ + padding: 0 0 0.4em 0.1em; + margin: 0 0 0.5em 0; + border-bottom: 2px solid black; +} +h2 { + margin: 1em 0 0.8em 0; + padding: 0; + font-variant: small-caps; + font-size: 170%; +} +pre, tt, kbd, code, pre samp { + font-family: "Courier 10 Pitch", Courier, "Courier New", monospace; +} +.INFORMALEXAMPLE { + margin-bottom: 1.2em; +} +div.INFORMALEXAMPLE .SCREEN { + margin-left: 2ex; +}