diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-06-27 15:01:51 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-06-27 15:01:51 +0100 |
commit | 2fa27381a18e65b4af2d860dc9be17489ff26258 (patch) | |
tree | 558ce90874835ff0094af1abf56256b346402ffc /lsr_env.tex | |
parent | b93723f5d4391333b6ed12cea8c3f49871976927 (diff) | |
download | lsr22_fvhls-2fa27381a18e65b4af2d860dc9be17489ff26258.tar.gz lsr22_fvhls-2fa27381a18e65b4af2d860dc9be17489ff26258.zip |
Add changes
Diffstat (limited to 'lsr_env.tex')
-rw-r--r-- | lsr_env.tex | 12 |
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 |