Index: doc/man.css
===================================================================
diff -u -r83b89feaa688228e7f9b25f44c2d02591601665a -r6f2b5aabb36c05dd3609e8035aa7be5dd6f3f5b5
--- doc/man.css	(.../man.css)	(revision 83b89feaa688228e7f9b25f44c2d02591601665a)
+++ doc/man.css	(.../man.css)	(revision 6f2b5aabb36c05dd3609e8035aa7be5dd6f3f5b5)
@@ -1,4 +1,3 @@
-
 body {
     color: #252525;
     font: 13px/1.231 "Arial","Verdana", sans-serif;
@@ -27,7 +26,7 @@
     text-transform: uppercase;
 }
 
-H1.title {
+H1.doctools_title {
     text-align: center;
 }
 
@@ -50,12 +49,13 @@
     font:		normal 12pt/14pt sans-serif;
     list-style:	none;
 }
-LI.section, LI.subsection {
+LI.doctools_section, LI.doctools_subsection {
     list-style: 	none;
     margin-left: 	0em;
     text-indent:	0em;
     padding: 	0em;
 }
+
 PRE {
     display: 	block;
     font-family:	monospace;
@@ -67,12 +67,14 @@
     padding-right:	1ex;
     width:		100%;
 }
-PRE.example {
+
+PRE.doctools_example {
     color: 		black;
     background: 	#f5dcb3;
     border:		1px solid black;
 }
-UL.requirements LI, UL.syntax LI {
+
+UL.doctools_requirements LI, UL.doctools_syntax LI {
     list-style: 	none;
     margin-left: 	0em;
     text-indent:	0em;
@@ -93,7 +95,7 @@
     border-top:	1px solid black;
 }*/
 
-UL.requirements {
+UL.doctools_requirements {
     margin-bottom: 	1em;
     border-bottom:	1px solid black;
 }
@@ -105,48 +107,53 @@
 }
 
 
-dl.definitions b.method {
-    background: none repeat scroll 0 0 #fcfbfa;
-    border: 1px solid #efeeed;
-    padding: 0 3px;
+dl.doctools_definitions b.method {
+    /* 
+       background: none repeat scroll 0 0 #fcfbfa;
+       border: 1px solid #efeeed;
+       padding: 0 3px;
+    */
     font-family: Menlo,Monaco,"DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",Courier,monospace;
     font-size: 92.308%;
     line-height: 1.35;
     font-weight: bold;
 }
 
-dl.definitions i.arg, dl.options i.arg {
-    background: none repeat scroll 0 0 #ffffff;
+dl.doctools_definitions i.arg, dl.options i.arg {
+    /* background: none repeat scroll 0 0 #ffffff;
     border: 1px solid #efeeed;
-    padding: 0 3px;
+    padding: 0 3px; 
+   */
     font-family: Menlo,Monaco,"DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",Courier,monospace;
     font-size: 92.308%;
     line-height: 1.35;
     font-weight: normal;
 }
 
-dl.definitions b.option, dl.options b.option {
-    background: none repeat scroll 0 0 #ffffff;
-    border: 1px solid #efeeed;
-    padding: 0 3px;
+dl.doctools_definitions b.option, dl.options b.option {
+    /* 
+       background: none repeat scroll 0 0 #ffffff;
+       border: 1px solid #efeeed;
+       padding: 0 3px; 
+   */
     font-family: Menlo,Monaco,"DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",Courier,monospace;
     font-size: 92.308%;
     line-height: 1.35;
     font-weight: normal;
     text-decoration: none;
 }
 
-dl.definitions b.cmd, p b.cmd {
-    background: none repeat scroll 0 0 #e7edd3;
-    border: 1px solid #89a618;
-    padding: 0 3px;
+dl.doctools_definitions b.cmd, p b.cmd {
+    /* background: none repeat scroll 0 0 #e7edd3;
+       border: 1px solid #89a618;
+       padding: 0 3px; */
     font-family: Menlo,Monaco,"DejaVu Sans Mono","Bitstream Vera Sans Mono","Courier New",Courier,monospace;
     font-size: 92.308%;
     line-height: 1.35;
     font-weight: bold;
 }
 
-dl.definitions b.const, p b.const {
+dl.doctools_definitions b.const, p b.const {
     /* background: none repeat scroll 0 0 #ffffff; */
     /* border: 1px solid #efeeed; */
     padding: 0 3px;
@@ -164,15 +171,15 @@
     line-height: 1.35;
 }
 
-pre.example {
+pre.doctools_example {
     background: none repeat scroll 0 0 #fcfbfa;
     border-color: #efeeed;
     border-image: none;
     border-style: solid;
     border-width: 1px 1px 1px 5px;
 }
 
-div.synopsis {
+div.doctools_synopsis {
     background: none repeat scroll 0 0 #e7edd3;
     border-color: #d4d8eb;
     border: 1px solid;
@@ -181,12 +188,77 @@
     padding: 0 1em;
 }
 
-div.synopsis ul {
+div.doctools_synopsis ul {
     padding-left: 0;
 }
 
 
 a:link {
     color: #002a4b;
     text-decoration: none
-}
\ No newline at end of file
+}
+
+/* SF-specific styling */
+
+hr {
+    border: 0;
+    height: 1px;
+    background: #89a618;
+}
+
+@media print {
+    body {
+	font-size: 13px !important;
+	/*prince-linebreak-magic: auto;*/
+    }
+    
+    pre.doctools_example {
+	font-size: 80% !important;
+	white-space: wrap !important;
+	page-break-inside: avoid;
+    }
+    
+    ul.syntax {
+	margin-left: 0 !important;
+	padding-left: 0 !important; 
+    }
+    
+    ul.syntax li {
+	text-indent: 1em hanging !important;
+    }
+    
+    h2 { string-set: chapter-title content() }
+}
+
+@page {
+    size: A4;
+    /* DIV 15 for A4 paper */
+    margin: 19.80mm 14mm;
+
+    /* Not supported by Chrome, kept for later reference */
+    @top-center {
+	font-family: "Arial","Verdana", sans-serif;
+	color: #666;
+	font-size: 80%;
+	content: string(chapter-title) 
+    }
+    
+    @bottom-center {
+	font-family: "Arial","Verdana", sans-serif;
+	font-size: 80%;
+	color: #666;
+        content: "-  " counter(page) "  -"
+    }
+}
+
+@page:first { 
+   @top { content: normal }
+}
+
+
+
+
+
+
+
+