diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-07-29 21:11:52 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-07-29 21:11:52 +0100 |
commit | 4215c5e2a6259e459a70c1207b2cdacdb2231e36 (patch) | |
tree | b3b3c77049fbea3f050c8d68d1ffa65f20b8dcc1 /env.mkiv | |
parent | 5e21f60e07be116a33cb0d160b0e6940c481993d (diff) | |
download | pred-aware-ai-4215c5e2a6259e459a70c1207b2cdacdb2231e36.tar.gz pred-aware-ai-4215c5e2a6259e459a70c1207b2cdacdb2231e36.zip |
Add plenty of text
Diffstat (limited to 'env.mkiv')
-rw-r--r-- | env.mkiv | 24 |
1 files changed, 22 insertions, 2 deletions
@@ -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 |