summaryrefslogtreecommitdiffstats
path: root/lsr_env.tex
diff options
context:
space:
mode:
Diffstat (limited to 'lsr_env.tex')
-rw-r--r--lsr_env.tex12
1 files changed, 7 insertions, 5 deletions
diff --git a/lsr_env.tex b/lsr_env.tex
index a97e380..3fe0321 100644
--- a/lsr_env.tex
+++ b/lsr_env.tex
@@ -139,6 +139,8 @@
[footnote]
[alternative=serried]
+\setupfootnotes[align={stretch,verytolerant,hz,hanging,hyphenated}]
+
\defineoverlay[chapterbackground][\useMPgraphic{chapterbackground}]
\setupbackgrounds[page][background=chapterbackground]
@@ -213,8 +215,8 @@
\setupcaptions[figure][
location={high,rightmargin},
width=\rightmarginwidth,
- align={yes, tolerant},
- style=\rmx,
+ align={verytolerant,hz,hanging,hyphenated},
+ style={\rmx\setupinterlinespace[reset]},
]
\setupfloat[figure][default=top,location=middle]
@@ -224,7 +226,7 @@
numberconversion=a,
prefix=no,
way=bytext,
- style=\rmx,
+ style={\rmx\setupinterlinespace[reset]},
]
\setuplabeltext[subfigure=]
@@ -472,8 +474,6 @@
[before={\blank[big]\startnarrower\startstyle[it]},
after={\stopstyle\stopnarrower\blank[big]\indenting[next]}]
-\setupfootnotes[align={stretch,verytolerant,hz,hanging,hyphenated}]
-
\define[1]\lindex{\index{intermediate language+#1}}
\define[1]\oindex{\index{optimisation+#1}}
\define[1]\pindex{\index{proof+#1}}
@@ -492,4 +492,6 @@
\define\htl{{\sc Htl}}
\define\abstr{{\sc Abstr}}
+\define[1]\Some{\left\lfloor #1 \right\rfloor}
+
\stopenvironment