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
|
\startenvironment env
\setupinteraction[
state=start,
title={Predicate Aware Abstract Interpretation},
author={Yann Herklotz},
color=darkcyan,
contrastcolor=darkcyan,
openaction=ToggleViewer,
focus=height,
click=yes,
style=\rm,
]
\setuplayout[
edgedistance=1cm,
backspace=2cm,
rightmargin=4cm,
leftmargin=0cm,
topspace=1cm,
header=1cm,
footer=1cm,
headerdistance=0.5cm,
width=fit,
height=fit,
]
\setuppapersize[A4][A4]
\definefontfeature[default][default][protrusion=quality,expansion=quality]
\setupbodyfont[ymhg]
\setupinterlinespace[big]
\setupindenting[yes,medium,next]
\setuphead[title][
style={\bfd\ss},
header=empty,
align=center,
before={\blank[2*line,force]},
]
\setuphead[subject][style={\bfb\ss}]
\setuphead[subsubject][style={\bfa\ss}]
\setuphead[subsubsubject][style={\ita\ss}]
\setuphead[subsubsubsubject][style={\it\ss}]
\setuphead[section][style={\bfb\ss}]
\setuphead[subsection][style={\bfa\ss}]
\setuphead[subsubsection][style={\ita\ss}]
\setuphead[subsubsubsection][style={\it\ss}]
\setupheads[title,subject,subsubject,section,subsection][color=darkcyan]
\define\PlaceFootnote
{\inrightmargin{\vtop{\placelocalnotes[footnote][before=,after=]}}}
\setupnote
[footnote]
[location=text,
textstyle={\rmxx},
align={yes,tolerant},
next=\PlaceFootnote]
\setupnotation
[footnote]
[alternative=serried]
\setupfootnotes[align={stretch,verytolerant,hz,hanging,hyphenated}]
\setupmargindata[stack=yes]
\stopenvironment
|