diff -r bb8a37fe6326 -r a7430eee20bd doc/docbook-utils.dsl
--- a/doc/docbook-utils.dsl	Sat Oct 19 23:06:42 2019 +0200
+++ b/doc/docbook-utils.dsl	Mon Oct 21 14:37:31 2019 +0200
@@ -181,7 +181,7 @@
 (define %title-font-family% "Helvetica")
 
 ;;What font would you like for the body?
-(define %body-font-family% "Palatino")
+(define %body-font-family% "Helvetica")
 
 ;;What font would you like for mono-seq?
 (define %mono-font-family% "Courier New")
@@ -207,13 +207,13 @@
 (define %left-right-margin% 6pi)
 
 ;;How much indentation for the body?
-(define %body-start-indent% 4pi)
+(define %body-start-indent% 2pi)
 
 ;;How big is the left margin? (relative to physical page)
-(define %left-margin% 8pi) ;white-paper-column
+(define %left-margin% 6pi) ;white-paper-column
 
 ;;How big is the right margin? (relative to physical page)
-(define %right-margin% 8pi) ;white-paper-column
+(define %right-margin% 6pi) ;white-paper-column
 
 ;;How big do you want the margin at the top?
 (define %top-margin%