Finish the pipelining chapter

1 files changed, 6 insertions, 4 deletions

diff --git a/lsr_env.tex b/lsr_env.tex
index 53362e5..8438c18 100644
--- a/lsr_env.tex
+++ b/lsr_env.tex
@@ -224,16 +224,18 @@
 ]
 \setuplabeltext[subfigure=]
 
+% https://www.mail-archive.com/ntg-context@ntg.nl/msg75292.html
+
 \newdimen\LeftMarginSize
 \LeftMarginSize=\dimexpr \backspace + \rightmarginwidth + \rightmargindistance \relax
 \newdimen\TextAreaSize
 \TextAreaSize=\dimexpr \textwidth + \rightmarginwidth + \rightmargindistance \relax
 \definefloat[marginfigure][marginfigures][figure]
-\setupfloat[marginfigure][location=inner,default=top,width=\TextAreaSize]
+\setupfloat[marginfigure][location={inner},default=top]
 \setupcaptions[marginfigure][
-  leftmargin=\dimexpr \LeftMarginSize / 2 \relax,
+  leftmargin=1cm,
   location=bottom,
-  width=\textwidth,
+  width=\dimexpr \textwidth - 2cm \relax,
 ]
 \setuplabeltext[marginfigure=Figure~]
 
@@ -337,7 +339,7 @@
 \definevimtyping [hlcoq] [syntax=coq]
 \definevimtyping [hlocaml] [syntax=ocaml]
 \definevimtyping [hlverilog] [syntax=verilog]
-\definevimtyping [hlC] [syntax=C]
+\definevimtyping [hlC] [syntax=c]
 
 % ==========================================================================
 % Tikz