1 files changed, 70 insertions, 0 deletions
diff --git a/env.mkiv b/env.mkiv
new file mode 100644
index 0000000..eb5902d
--- /dev/null
+++ b/env.mkiv
@@ -0,0 +1,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