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\startmodule[articlebasic]
30
31\unprotect
32
33\definemeasure [article:margin] [\paperheight20]
34\definemeasure [overview:margin] [\paperheight30]
35
36\definelayout
37 [article]
38 [\c!topspace=\measure{article:margin},
39 \c!bottomspace=\measure{article:margin},
40 \c!backspace=\measure{article:margin},
41 \c!header=\measure{article:margin},
42 \c!footer=0pt,
43 \c!width=\v!middle,
44 \c!height=\v!middle]
45
46
47\definelayout
48 [overview]
49 [\c!topspace=\measure{overview:margin},
50 \c!bottomspace=\measure{overview:margin},
51 \c!backspace=\measure{overview:margin},
52 \c!header=\measure{overview:margin},
53 \c!footer=0pt,
54 \c!width=\v!middle,
55 \c!height=\v!middle]
56
57\setuplayout
58 [article]
59
60\setupbodyfont
61 [dejavu,10pt]
62
63\setupwhitespace
64 [\v!big]
65
66\setuphead
67 [\v!chapter]
68 [\c!style=\bfc,
69 \c!headerstate=\v!high,
70 \c!interaction=\v!all]
71
72\setuphead
73 [\v!section]
74 [\c!style=\bfb]
75
76\setuphead
77 [\v!subsection]
78 [\c!style=\bfa]
79
80\setuphead
81 [\v!subsubsection]
82 [\c!style=\bf,
83 \c!after=]
84
85\setuplist
86 [\c!interaction=\v!all]
87
88\setupdocument
89 [\c!before=\directsetup{document:titlepage}]
90
91\protect
92
93\stopmodule
94
95 |