diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-07-26 20:30:09 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-07-26 20:30:09 +0100 |
commit | a95b90f9b7a4e1b3cb91a7ed2b2009f97257d6a7 (patch) | |
tree | 25e07adffc3505f4b6bb10f51693a69c066791f2 /env.tex | |
parent | f2e52c7397d20610f5439ca5735c15ea2d8dcd6b (diff) | |
download | pred-aware-ai-a95b90f9b7a4e1b3cb91a7ed2b2009f97257d6a7.tar.gz pred-aware-ai-a95b90f9b7a4e1b3cb91a7ed2b2009f97257d6a7.zip |
Use org mode instead
Diffstat (limited to 'env.tex')
-rw-r--r-- | env.tex | 21 |
1 files changed, 9 insertions, 12 deletions
@@ -17,25 +17,22 @@ \definefontfeature[default][default][protrusion=quality,expansion=quality] \setupbodyfont[ymhg] \setupinterlinespace[big] +\setupindenting[yes,medium,next] \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] +\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 |