1 |
adcroft |
1.1 |
/* Global configuration file for html2ps */ |
2 |
|
|
|
3 |
|
|
@html2ps { |
4 |
|
|
|
5 |
|
|
package { |
6 |
|
|
PerlMagick: 0; |
7 |
|
|
netpbm: 1; |
8 |
|
|
ImageMagick: 1; |
9 |
|
|
djpeg: 1; |
10 |
|
|
TeX: 1; |
11 |
|
|
dvips: 1; |
12 |
|
|
Ghostscript: 1; |
13 |
|
|
libwww-perl: 1; |
14 |
|
|
path: "/usr/X11R6/bin:/usr/bin"; |
15 |
|
|
} |
16 |
|
|
|
17 |
|
|
paper { |
18 |
|
|
type: letter; |
19 |
|
|
} |
20 |
|
|
|
21 |
|
|
hyphenation { |
22 |
|
|
en { |
23 |
|
|
file: "./hyphen.tex"; |
24 |
|
|
} |
25 |
|
|
} |
26 |
|
|
|
27 |
|
|
option { |
28 |
|
|
/* number: 0; - it already numbers the pages! */ |
29 |
|
|
colour: 1; |
30 |
|
|
duplex: 1; /* Generate postscript code for double sided printing. */ |
31 |
|
|
toc: hb; /* Generate a table of contents, based on headings make it appear first */ |
32 |
|
|
frame: 1; |
33 |
|
|
hyphenate: 1; /* Hyphenate the text */ |
34 |
|
|
} |
35 |
|
|
|
36 |
|
|
header { /* Running page header */ |
37 |
|
|
odd-left: $T; /* Document title */ |
38 |
|
|
odd-right: $H; /* Current main heading */ |
39 |
|
|
even-left: $H; /* Ditto */ |
40 |
|
|
even-right: $A; /* Document author (from <META NAME="Author"...>) */ |
41 |
|
|
} |
42 |
|
|
|
43 |
|
|
toc { |
44 |
|
|
heading: $T; |
45 |
|
|
extrapage: 1; |
46 |
|
|
} |
47 |
|
|
|
48 |
|
|
footer { /* Running page footer */ |
49 |
|
|
center: "- $N -"; /* Page number */ |
50 |
|
|
} |
51 |
|
|
|
52 |
|
|
showurl: 1; /* Show URL:s for external links */ |
53 |
|
|
seq-number: 1; /* Automatic numbering of headings */ |
54 |
|
|
} |
55 |
|
|
|
56 |
|
|
/* Standard style sheet definitions */ |
57 |
|
|
P { text-align: justify } |
58 |
|
|
H1, H2, H3, H4, H5, H6 { font-family: Times; font-weight: bold } |
59 |
|
|
H1 { font-size: 18pt; text-align: center } |
60 |
|
|
H3, H5 { font-style: oblique } |
61 |
|
|
H2, H3 { font-size: 16pt } |
62 |
|
|
H4, H5 { font-size: 13pt } |
63 |
|
|
H6 { font-size: 11pt } |
64 |
|
|
ADDRESS { text-align: right } |
65 |
|
|
PRE { |
66 |
|
|
background-color: #ccccff; |
67 |
|
|
padding: .25em; |
68 |
|
|
margin: .25em; |
69 |
|
|
border: thin dashed black; |
70 |
|
|
} |
71 |
|
|
|