\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,10pt]
\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[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]

\definetextbackground[codeblockbg][
  location=paragraph,
  topoffset=\bodyfontsize,
  corner=round,
]

\definecolor[codeblockexportcolor][x=EAF5F2]
\definecolor[codeblockexportborder][x=6AB9A4]
\definetextbackground[codeblockexportbg][codeblockbg][
  background=color,
  backgroundcolor=codeblockexportcolor,
  framecolor=codeblockexportborder,
]

\definecolor[codeblockexamplecolor][x=F5EBEA]
\definecolor[codeblockexampleborder][x=B96F6A]
\definetextbackground[codeblockexamplebg][codeblockbg][
  background=color,
  backgroundcolor=codeblockexamplecolor,
  framecolor=codeblockexampleborder,
]

\setupenumeration
  [OrgListingEnumEmpty]
  [alternative=empty,
   before=,
   after=\blank,
   margin=0pt,
   indentnext=no,]

\setupenumeration
  [OrgExampleEnumEmpty]
  [indentnext=no,]

\setupvimtyping[OrgBlkSrcCoq][
  margin=5mm,
  before={\startcodeblockexportbg\blank},
  after={\stopcodeblockexportbg},
]

\setuptyping[OrgExample][
  margin=5mm,
  before={\startcodeblockexamplebg\blank},
  after={\stopcodeblockexamplebg},
]

\setupregister[OrgConcept][
  style={\bfa\tt},
  color=darkcyan,
  textstyle=tt,
]

\define\OrgTitleContents{}
\setupcombinedlist[content][alternative=c]
\setupsectionblock[frontpart][before=\blank,after=\blank,]

\stopenvironment