diff options
Diffstat (limited to 'env.mkiv')
| -rw-r--r-- | env.mkiv | 50 |
1 files changed, 40 insertions, 10 deletions
@@ -67,25 +67,51 @@ \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, + topoffset=\bodyfontsize, corner=round, - framecolor=codeblockborder, +] + +\definecolor[codeblockexportcolor][x=EAF5F2] +\definecolor[codeblockexportborder][x=6AB9A4] +\definetextbackground[codeblockexportbg][codeblockbg][ + background=color, + backgroundcolor=codeblockexportcolor, + framecolor=codeblockexportborder, +] + +\definecolor[codeblockexamplecolor][x=F5EBEA] +\definecolor[codeblockexampleborder][x=B96F6A] +\definetextbackground[codeblockexamplebg][codeblockbg][ + background=color, + backgroundcolor=codeblockexamplecolor, + framecolor=codeblockexampleborder, ] \setupenumeration [OrgListingEnumEmpty] [alternative=empty, - before={\blank\startcodeblockbg}, - after={\stopcodeblockbg\blank}, - margin=0pt] + before=, + after=\blank, + margin=0pt, + indentnext=no,] -\setupvimtyping[OrgBlkSrcCoq][margin=5mm] +\setupenumeration + [OrgExampleEnumEmpty] + [indentnext=no,] + +\setupvimtyping[OrgBlkSrcCoq][ + margin=5mm, + before={\startcodeblockexportbg\blank}, + after={\stopcodeblockexportbg}, +] + +\setuptyping[OrgExample][ + margin=5mm, + before={\startcodeblockexamplebg\blank}, + after={\stopcodeblockexamplebg}, +] \setupregister[OrgConcept][ style={\bfa\tt}, @@ -93,4 +119,8 @@ textstyle=tt, ] +\define\OrgTitleContents{} +\setupcombinedlist[content][alternative=c] +\setupsectionblock[frontpart][before=\blank,after=\blank,] + \stopenvironment |