doc/docbook-utils.dsl

changeset 530
a7430eee20bd
parent 0
033898178630
equal deleted inserted replaced
529:bb8a37fe6326 530:a7430eee20bd
179 179
180 ;;What font would you like for titles? 180 ;;What font would you like for titles?
181 (define %title-font-family% "Helvetica") 181 (define %title-font-family% "Helvetica")
182 182
183 ;;What font would you like for the body? 183 ;;What font would you like for the body?
184 (define %body-font-family% "Palatino") 184 (define %body-font-family% "Helvetica")
185 185
186 ;;What font would you like for mono-seq? 186 ;;What font would you like for mono-seq?
187 (define %mono-font-family% "Courier New") 187 (define %mono-font-family% "Courier New")
188 188
189 ;;If the base fontsize is 10pt, and '%hsize-bump-factor%' is 189 ;;If the base fontsize is 10pt, and '%hsize-bump-factor%' is
205 ;;====================================== 205 ;;======================================
206 206
207 (define %left-right-margin% 6pi) 207 (define %left-right-margin% 6pi)
208 208
209 ;;How much indentation for the body? 209 ;;How much indentation for the body?
210 (define %body-start-indent% 4pi) 210 (define %body-start-indent% 2pi)
211 211
212 ;;How big is the left margin? (relative to physical page) 212 ;;How big is the left margin? (relative to physical page)
213 (define %left-margin% 8pi) ;white-paper-column 213 (define %left-margin% 6pi) ;white-paper-column
214 214
215 ;;How big is the right margin? (relative to physical page) 215 ;;How big is the right margin? (relative to physical page)
216 (define %right-margin% 8pi) ;white-paper-column 216 (define %right-margin% 6pi) ;white-paper-column
217 217
218 ;;How big do you want the margin at the top? 218 ;;How big do you want the margin at the top?
219 (define %top-margin% 219 (define %top-margin%
220 (if (equal? %visual-acuity% "large-type") 220 (if (equal? %visual-acuity% "large-type")
221 7.5pi 221 7.5pi

mercurial