1 files changed, 22 insertions, 2 deletions
diff --git a/env.mkiv b/env.mkiv
index eb5902d..1d74493 100644
--- a/env.mkiv
+++ b/env.mkiv
@@ -28,7 +28,7 @@
 \setuppapersize[A4][A4]
 
 \definefontfeature[default][default][protrusion=quality,expansion=quality]
-\setupbodyfont[ymhg]
+\setupbodyfont[ymhg,10pt]
 \setupinterlinespace[big]
 \setupindenting[yes,medium,next]
 
@@ -48,7 +48,7 @@
 \setuphead[subsubsection][style={\ita\ss}]
 \setuphead[subsubsubsection][style={\it\ss}]
 
-\setupheads[title,subject,subsubject,section,subsection][color=darkcyan]
+\setupheads[subject,subsubject,section,subsection][color=darkcyan]
 
 \define\PlaceFootnote
   {\inrightmargin{\vtop{\placelocalnotes[footnote][before=,after=]}}}
@@ -67,4 +67,24 @@
 \setupfootnotes[align={stretch,verytolerant,hz,hanging,hyphenated}]
 \setupmargindata[stack=yes]
 
+\definecolor[codeblockcolor][x=EAF5F2]
+\definecolor[codeblockborder][x=6AB9A4]
+\definetextbackground[codeblockbg][
+  location=paragraph,
+  background=color,
+  backgroundcolor=codeblockcolor,
+  bottomoffset=\bodyfontsize,
+  corner=round,
+  framecolor=codeblockborder,
+]
+
+\setupenumeration
+  [OrgListingEnumEmpty]
+  [alternative=empty,
+   before={\blank\startcodeblockbg},
+   after={\stopcodeblockbg\blank},
+   margin=0pt]
+
+\setupvimtyping[OrgBlkSrcCoq][margin=5mm]
+
 \stopenvironment