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 |