1 files changed, 9 insertions, 12 deletions
diff --git a/env.tex b/env.tex
index 701dd9c..718d0f6 100644
--- a/env.tex
+++ b/env.tex
@@ -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