\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,
]

\setuppapersize[A4][A4]

\definefontfeature[default][default][protrusion=quality,expansion=quality]
\setupbodyfont[ymhg]
\setupinterlinespace[big]

\setuphead[title][
  style={\bfd\ss},
  header=empty,
  align=center,
  after={\blank[3*line]},
  before={\blank[2*line,force]},
]

\setupindenting[yes,medium]

\setupfootertexts[pagenumber]
\setupheadertexts[]
\setupheadertexts[{\sc Yann Herklotz}][{\sc Abstract Interpretation}]

\usemodule[vim]
\definevimtyping [hlcoq] [syntax=coq]
\definevimtyping [hlocaml] [syntax=ocaml]
\definevimtyping [hlverilog] [syntax=verilog]
\definevimtyping [hlC] [syntax=c,escape=command]

\stopenvironment
