diff options
Diffstat (limited to 'lsr_env.tex')
-rw-r--r-- | lsr_env.tex | 50 |
1 files changed, 26 insertions, 24 deletions
diff --git a/lsr_env.tex b/lsr_env.tex index c20063e..cbedab1 100644 --- a/lsr_env.tex +++ b/lsr_env.tex @@ -29,7 +29,7 @@ \setuppapersize[A4][A4] \definefontfeature[default][default][protrusion=quality,expansion=quality] \setupalign[hz,hanging,lesshyphenation,verytolerant] -\setupbodyfont[ebgaramondlato,11pt] +\setupbodyfont[lsrfont,11pt] %\setupalign[hz,hanging,nothyphenated] \setupinterlinespace[big] @@ -54,7 +54,7 @@ ] \setuphead[chapter][ - style={\bfd}, + style={\bfd\ss}, header=empty, align=flushright, numbercommand=\marginhead, @@ -67,7 +67,6 @@ \setupheads[chapter][ after={\blank[2*big]}, before={\blank[big,force]}, - style={\bfd}, header=empty, align=flushleft, ] @@ -81,7 +80,6 @@ \setupheads[chapter][ after={\blank[2*big]}, before={\blank[big,force]}, - style={\bfd}, header=empty, align=flushleft, ] @@ -139,9 +137,9 @@ \define[1]\marginhead{\margintitle[location=right]{\switchtobodyfont[30pt] #1}} -\setuphead[section][style={\bfb}] -\setuphead[subsection][style={\bfa}] -\setuphead[subsubsection][style={\bf},after={\blank[0.2cm]}] +\setuphead[section][style={\bfb\ss}] +\setuphead[subsection][style={\bfa\ss}] +\setuphead[subsubsection][style={\bf\ss},after={\blank[0.2cm]}] \setuplabeltext[chapter=] % \setupheader[text][style=smallcaps,after=\hrule] @@ -175,21 +173,6 @@ % @see http://wiki.contextgarden.net/Indentation % Indent all paragraph after all section headers. \setupindenting[yes,medium] -%\setupheads[section, subsection][ -% indentnext=yes, -% numberwidth=1.27cm, -% style=bold, -% before={\blank[3*line]}, -% after={\blank[1*line]}, -%] -% -%\setupheads[subsubsection][ -% indentnext=yes, -% numberwidth=1.27cm, -% style=bold, -% before={\blank[1*line]}, -% after={\blank[1*line]}, -%] % ========================================================================== % Table of Contents @@ -235,7 +218,8 @@ numbercommand=\groupedcommand{(}{)}, numberconversion=a, prefix=no, - way=bytext + way=bytext, + style=\rmx, ] \setuplabeltext[subfigure=] @@ -358,7 +342,17 @@ % ========================================================================== \usemodule[tikz] -\usetikzlibrary{shapes,calc,arrows.meta} +\usetikzlibrary{ + arrows, + arrows.meta, + automata, + calc, + decorations.pathreplacing, + patterns, + patterns.meta, + petri, + shapes, +} \definecolor[compcert][x=BEBADA] \definecolor[formalhls][x=8DD3C7] @@ -476,4 +470,12 @@ \define[1]\oindex{\index{optimisation+#1}} \define[1]\pindex{\index{proof+#1}} +% ========================================================================== +% Macros +% ========================================================================== + +\define\eqdef{{\strut\hbox to 0pt{\raisebox{0.5\baselineskip}\hbox{\rmx def}\hss}}=} +\define\blockbb{\mathcal{B}_{\rm b}} +\define\parbb{\mathcal{B}_{\rm p}} + \stopenvironment |