forked from w3c/csswg-drafts
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathhtml2psrc
More file actions
77 lines (76 loc) · 1.45 KB
/
Copy pathhtml2psrc
File metadata and controls
77 lines (76 loc) · 1.45 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
@html2ps {
option {
DSC: 1; /* DSC compliant PostScript */
xref: 1; /* cross references a la [p 31] */
duplex: 1; /* double sided */
number: 1; /* have page numbers */
original: 1; /* use original PostScript images */
}
header {
alternate: 1;
center: $T;
}
footer {
alternate: 1;
left: $N;
right: $D;
center: "";
odd-center: "";
even-center: "";
}
paper {
type: A4;
}
margin {
left: 3.5cm;
right: 3.5cm;
}
hyphenation {
en {
file: hyphen.tex
}
}
doc-sep: "<!--OddPage-->"; /* have every first page on the right */
}
BODY {
text-align: justify;
font-family: helvetica, sans-serif;
}
H1, H2, H3, H4, H5, H6 {
text-align: left;
}
P {
margin-top: 0;
margin-bottom: 0;
text-indent: 1em;
}
ADDRESS {
text-align: right;
font-style: italic;
}
.deprecated-example {
color: #808080;
}
.illegal-example {
color: #800000;
}
.note {
font-weight: bold;
margin-top: 1em;
margin-bottom: 1em;
margin-left: 1em;
margin-right: 1em;
}
.toc {
text-indent: 0;
}
P.toc-line {
margin-top: 1em;
margin-bottom: 1em;
text-indent: 0;
}
/* the following doesn't work for now,
instead we rely on a patched version of html2ps which has this built-in */
DIV.navbar {
display: none;
}