diff options
Diffstat (limited to 'env.tex')
| -rw-r--r-- | env.tex | 38 |
1 files changed, 0 insertions, 38 deletions
diff --git a/env.tex b/env.tex deleted file mode 100644 index 718d0f6..0000000 --- a/env.tex +++ /dev/null @@ -1,38 +0,0 @@ -\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] -\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}] - -\stopenvironment |