Add mkiv files

2 files changed, 230 insertions, 0 deletions

diff --git a/env-alt.mkiv b/env-alt.mkiv
new file mode 100644
index 0000000..2b8bb30
--- /dev/null
+++ b/env-alt.mkiv
@@ -0,0 +1,160 @@
+% ============================================================================ %
+% This environment file contains the ox-context theme that is used in the      %
+% export, so that my private ox-context configuration is not needed.           %
+% ============================================================================ %
+
+\startenvironment env-alt
+
+\definevimtyping[OrgInlineSrcC]
+  [syntax=c,escape=command]
+\definevimtyping[OrgBlkSrcC]
+  [syntax=c,escape=command]
+% Define a basic headline command
+\def\OrgHeadline#1[#2]{%
+  \getparameters
+    [OrgHeadline]
+    [Todo=,
+     TodoType=,
+     Priority=,
+     Text=,
+     Tags=,
+     #2]%
+  \doifnot{\OrgHeadlineTodo}{}{{\sansbold{\smallcaps{\OrgHeadlineTodo}}\space}}%
+  \doifnot{\OrgHeadlinePriority}{}{{\inframed{\OrgHeadlinePriority}\space}}%
+  \OrgHeadlineText%
+  \doifnot{\OrgHeadlineTags}{}{{\hfill\tt\OrgHeadlineTags}}%
+}
+
+
+% Create the block source environment
+\definetyping[OrgBlkSrc][escape=yes]
+% Create the unlabelled listings enumeration environment
+\defineenumeration
+  [OrgListingEnumEmpty]
+  [alternative=empty,
+   margin=0pt]
+% Create the listings enumeration environment
+\defineenumeration
+  [OrgListingEnum]
+  [OrgListingEnumEmpty]
+  [title=yes,
+   text=Listing,
+   headalign=middle,
+   alternative=top]
+%===============================================================================
+% Preset Commands
+%===============================================================================
+\setupwhitespace[none]
+\setupdescription
+  [OrgDesc]
+  [headstyle=bold,
+   style=normal,
+   align=flushleft,
+   alternative=hanging,
+   width=broad,
+   margin=1cm]
+\defineblank[QuoteSkip][1ex]
+\setupstartstop
+  [OrgBlockQuote]
+  [style=slanted,
+   before={\blank[QuoteSkip]
+      \setupnarrower[left=1em, right=1em]
+      \startnarrower[left, right]
+      \noindent},
+   after={\stopnarrower
+      \blank[QuoteSkip]
+      \indenting[next]}]
+\defineblank[VerseSkip][1ex]
+\setuplines
+  [OrgVerse]
+  [before={\blank[VerseSkip]
+    \setupnarrower[left=1em, right=1em]
+    \startnarrower[left, right]},
+   after={\stopnarrower \blank[VerseSkip]},space=on]
+\setupxtable
+  [split=yes,
+   header=repeat,
+   footer=repeat,
+   leftframe=off,
+   rightframe=off,
+   topframe=off,
+   bottomframe=off,
+   loffset=1em,
+   roffset=1em,
+   stretch=on]
+\setupxtable
+  [OrgTableHeader]
+  [toffset=1ex,
+   foregroundstyle=bold,
+   topframe=on,
+   bottomframe=on]
+\setupxtable[OrgTableFooter][OrgTableHeader][]
+\setupxtable
+  [OrgTableHeaderTop]
+  [OrgTableHeader]
+  [bottomframe=off]
+\setupxtable
+  [OrgTableFooterTop]
+  [OrgTableFooter]
+  [bottomframe=off]
+\setupxtable
+  [OrgTableHeaderBottom]
+  [OrgTableHeader]
+  [topframe=off]
+\setupxtable
+  [OrgTableFooterBottom]
+  [OrgTableFooter]
+  [topframe=off]
+\setupxtable
+  [OrgTableHeaderMid]
+  [OrgTableHeader]
+  [topframe=off,bottomframe=off]
+\setupxtable
+  [OrgTableFooterMid]
+  [OrgTableFooter]
+  [topframe=off,bottomframe=off]
+\setupxtable
+  [OrgTableTopRow]
+  [topframe=on]
+\setupxtable
+  [OrgTableRowGroupStart]
+  [topframe=on]
+\setupxtable
+  [OrgTableRowGroupEnd]
+  [bottomframe=on]
+\setupxtable
+  [OrgTableColGroupStart]
+  [leftframe=on]
+\setupxtable
+  [OrgTableColGroupEnd]
+  [rightframe=on]
+\setupxtable
+  [OrgTableBottomRow]
+  [bottomframe=on]
+
+\setuphead[title][align=middle]
+\definestartstop[OrgTitlePage]
+\define\OrgMakeTitle{%
+  \startalignment[center]
+   \blank[force,2*big]
+   \title{\documentvariable{metadata:title}}
+   \doifnot{\documentvariable{metadata:subtitle}}{}{
+     \blank[force,1*big]
+     \tfa \documentvariable{metadata:subtitle}}
+   \doifelse{\documentvariable{metadata:author}}{}{
+   \blank[2*medium]
+   {\tfa \documentvariable{metadata:email}}
+   }{
+      \blank[force,2*medium]
+      {\it by \documentvariable{metadata:author}}, on \documentvariable{metadata:date}
+   }
+   \blank[3*medium]
+  \stopalignment}
+\setupsectionblock[frontpart][page=no]
+\setupsectionblock[bodypart][page=no]
+\setuppagenumbering[location={footer,middle}]
+\setupsectionblock[frontpart][page=no]
+\setupsectionblock[bodypart][page=no]
+\setuppagenumbering[location={footer,middle}]
+
+\stopenvironment
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